Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Pull requests: seL4/seL4

New pull request New
65 Open 1,030 Closed
65 Open 1,030 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

libsel4: make thread-local ipc buffer optional
#1593 opened Feb 13, 2026 by midnightveil Loading…
Add support for stm32mp2 SoC family
#1592 opened Feb 12, 2026 by bruelc • Draft
7
Arm SMMU: Set CB_INVALID for initial task
#1587 opened Feb 4, 2026 by Indanz Loading…
debug: align debug_dumpScheduler output
#1584 opened Jan 15, 2026 by midnightveil Loading…
6
mcs: handle endpoint and ntfn queues uniformly MCS issues about the mixed-criticality system config verification Needs formal verification input/change, or is motivated by verification
#1576 opened Dec 17, 2025 by michaelmcinerney Loading…
@michaelmcinerney
25
SMC caps: minor code refactor for verification verification Needs formal verification input/change, or is motivated by verification
#1572 opened Dec 14, 2025 by lsf37 Loading…
1
tools: support multiple methods with the same id
#1551 opened Nov 10, 2025 by Indanz Loading…
6
SBI cap and CNode Minting with long badge
#1547 opened Nov 6, 2025 by Ivan-Velickovic • Draft
18
Proposal: Can we make invocation numbers flat?
#1542 opened Oct 31, 2025 by kent-mcleod • Draft
6
Enable IRQ when binding to a notification verification Needs formal verification input/change, or is motivated by verification
#1539 opened Oct 30, 2025 by Indanz Loading…
35
sel4.h: add missing vmenter.h include
#1534 opened Oct 27, 2025 by Ivan-Velickovic Loading…
7
x86: pass the EFI system table pointer to root task proof-test run C proofs on PR (use when preprocess test failed)
#1527 opened Oct 21, 2025 by cl91 Loading…
23
Prevent overmapping on aarch32, aarch64, x86 hw-test sel4test hardware builds + runs for this PR verification Needs formal verification input/change, or is motivated by verification
#1526 opened Oct 20, 2025 by Kswin01 • Draft
18
asid_map_t,aarch32 feature (DRAFT)
#1520 opened Oct 15, 2025 by kent-mcleod • Draft
3
cmake: Error message warning fix
#1518 opened Oct 15, 2025 by kent-mcleod Loading…
3
aarch64: use fixed virtual address for kernel address space verification Needs formal verification input/change, or is motivated by verification
#1516 opened Oct 8, 2025 by midnightveil Loading…
92
Add support for Raspberry Pi 5B
#1515 opened Oct 7, 2025 by Ivan-Velickovic Loading…
36
boot: allow early printf() - before kernel vspace
#1513 opened Sep 19, 2025 by midnightveil • Draft
2
16
Runtime Domain Schedules verification Needs formal verification input/change, or is motivated by verification
#1511 opened Sep 10, 2025 by Indanz Loading…
2 of 5 tasks
41
arm64: Use loop and respect the limit parameter for seL4_TCB_WriteRegisters and seL4_TCB_ReadRegisters
#1488 opened Jun 26, 2025 by ZhanYF • Draft
7
HW Debug API: Better handling of BAS on ARM
#1487 opened Jun 25, 2025 by alwin-joshy Loading…
21
mcs: refactor finaliseCap to ease verification MCS issues about the mixed-criticality system config verification Needs formal verification input/change, or is motivated by verification
#1474 opened Jun 4, 2025 by michaelmcinerney Loading…
@michaelmcinerney
6
Minimal CHERI support
#1469 opened May 29, 2025 by heshamelmatary • Draft
52
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
ProTip! Adding no:label will show everything without a label.