Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings
/seL4Public

Pull requests: seL4/seL4

Author
Filter by author
Loading
Label
Filter by label
Loading
Usealt +click/return to exclude labels
or⇧ +click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort

Pull requests list

change link to Resources ot setup page
#1493 openedJul 8, 2025 byjune-andronickLoading…
HW Debug API: Better handling of BAS on ARM
#1487 openedJun 25, 2025 byalwin-joshyLoading…
python-deps: bump cmake-format and autopep8
#1479 openedJun 5, 2025 bylsf37Loading…
@lsf37
mcs: refactor finaliseCap to ease verification MCSissues about the mixed-criticality system config verificationNeeds formal verification input/change, or is motivated by verification
#1474 openedJun 4, 2025 bymichaelmcinerneyLoading…
mcs: refactor decodeSchedControl_ConfigureFlags MCSissues about the mixed-criticality system config verificationNeeds formal verification input/change, or is motivated by verification
#1472 openedJun 4, 2025 bymichaelmcinerneyLoading…
Minimal CHERI support
#1469 openedMay 29, 2025 byheshamelmatary • Draft
cmake: clearly complain for invalid platforms
#1467 openedMay 29, 2025 bymidnightveilLoading…
1 task
arch/x86: Support Xen x86/HVM direct boot ABI
#1443 openedApr 2, 2025 bylosfairLoading…
x86/vcpu: Allow CR0.PE and CR0.PG to be cleared
#1438 openedMar 30, 2025 bylosfairLoading…
cmake: remove various flags from compilation
#1432 openedMar 24, 2025 bymidnightveilLoading…
statedata: clarify ksInterruptState assertions verificationNeeds formal verification input/change, or is motivated by verification
#1383 openedFeb 3, 2025 bymidnightveilLoading…
Flexible Untyped Memory Regions enhancement verificationNeeds formal verification input/change, or is motivated by verification
#1363 openedDec 8, 2024 byIndanz • Draft
document words ordering for bitfield_gen docsManual and other documentation
#1362 openedDec 5, 2024 byyf13Loading…
Microkit x86
#1340 openedOct 31, 2024 bymatneutralityLoading…
gic_v3: fix SRE in hyp mode
#1332 openedOct 8, 2024 byJorgeMVPLoading…
smp/ipi.c: ipi send mask improvement
#1331 openedOct 8, 2024 byJorgeMVPLoading…
FPU Context Switching hw-testsel4test hardware builds + runs for this PR verificationNeeds formal verification input/change, or is motivated by verification
#1325 openedSep 26, 2024 byIndanzLoading…
aarch32: make sureirqInvalid isirq_t
#1324 openedSep 25, 2024 bylsf37Loading…
aarch64/vcpu: refine guest vcpu context verificationNeeds formal verification input/change, or is motivated by verification
#1318 openedSep 13, 2024 byJorgeMVPLoading…
Previous13
Previous
ProTip! Addingno:label will show everything without a label.
[8]ページ先頭
©2009-2025 Movatter.jp