8000 Pull requests · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Pull requests: seL4/seL4

New pull request New
54 Open 950 Closed
54 Open 950 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

cmake: clearly complain for invalid platforms
#1467 opened May 29, 2025 by midnightveil Loading…
1 task
arm,riscv: eliminate idle_thread function prologue
#1464 opened May 21, 2025 by midnightveil Loading…
1
4
aarch32/vspace: use BIT and MASK macros proof-test run C proofs on PR (use when preprocess test failed)
#1460 opened May 18, 2025 by lsahn-gh Loading…
9
arch/x86: Support Xen x86/HVM direct boot ABI
#1443 opened Apr 2, 2025 by losfair Loading…
10
x86/vcpu: Allow CR0.PE and CR0.PG to be cleared
#1438 opened Mar 30, 2025 by losfair Loading…
5
yieldTo: respect kernel reply protocol hw-test sel4test hardware builds + runs for this PR MCS issues about the mixed-criticality system config verification Needs formal verification input/change, or is motivated by verification
#1435 opened Mar 26, 2025 by lsf37 Loading…
49
cmake: remove various flags from compilation
#1432 opened Mar 24, 2025 by midnightveil Loading…
8
riscv: document our choice of -mcmodel=medany &
#1431 opened Mar 24, 2025 by midnightveil Loading…
7
smp: skip schedule or activateThread when unlocked
#1421 opened Mar 5, 2025 by kent-mcleod Loading…
2
statedata: clarify ksInterruptState assertions verification Needs formal verification input/change, or is motivated by verification
#1383 opened Feb 3, 2025 by midnightveil Loading…
7
Flexible Untyped Memory Regions enhancement verification Needs formal verification input/change, or is motivated by verification
#1363 opened Dec 8, 2024 by Indanz • Draft
1
document words ordering for bitfield_gen docs Manual and other documentation
#1362 opened Dec 5, 2024 by yf13 Loading…
7
[RFC-15] Add experimental CHERI support (hybrid kernel) new-platform platform ports
#1344 opened Nov 3, 2024 by heshamelmatary Loading…
48
Microkit x86
#1340 opened Oct 31, 2024 by matneutrality Loading…
7
gic_v3: fix SRE in hyp mode
#1332 opened Oct 8, 2024 by JorgeMVP Loading…
4
smp/ipi.c: ipi send mask improvement
#1331 opened Oct 8, 2024 by JorgeMVP Loading…
FPU Context Switching hw-test sel4test hardware builds + runs for this PR verification Needs formal verification input/change, or is motivated by verification
#1325 opened Sep 26, 2024 by Indanz Loading…
@Indanz
51
aarch32: make sure irqInvalid is irq_t
#1324 opened Sep 25, 2024 by lsf37 Loading…
@lsf37
10
aarch64/vcpu: refine guest vcpu context verification Needs formal verification input/change, or is motivated by verification
#1318 opened Sep 13, 2024 by JorgeMVP Loading…
25
TCB_SetSchedParams: Change to match API reference MCS issues about the mixed-criticality system config verification Needs formal verification input/change, or is motivated by verification
#1312 opened Aug 23, 2024 by alwin-joshy Loading…
1
@lsf37
17
microkit: remove const qualifiers from domain variables on-hold Not currently being worked on, but left open for later
#1308 opened Aug 14, 2024 by JE-Archer • Draft
9
sel4-deps: cypthon >=3 breaks pyyaml < 6 at build build-system related to the build system
#1295 opened Jul 12, 2024 by lsf37 • Draft
@lsf37
4
x86: add VGA as possible earlyprint device
#1288 opened Jul 1, 2024 by ericspidledw Loading…
45
Manual Improvements docs Manual and other documentation
#1233 opened Mar 26, 2024 by Indanz • Draft
3
IRQ Fastpath
#1227 opened Mar 19, 2024 by danshea00 Loading…
6
ProTip! What’s not been updated in a month: updated:<2025-04-29.
0