-
Notifications
You must be signed in to change notification settings - Fork 760
Pull requests: seL4/seL4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
manual: updated description for X86 EPT invocations
#1646
opened Apr 20, 2026 by
dreamliner787-9
Contributor
Loading…
x86,SMP: Fix VMCheckBoundNotification IPI handling
#1641
opened Apr 9, 2026 by
Indanz
Contributor
Loading…
aarch32,vspace: check stale mapping on page flush
hw-test
sel4test hardware builds + runs for this PR
verification
Needs formal verification input/change, or is motivated by verification
#1633
opened Mar 30, 2026 by
kent-mcleod
Member
Loading…
Draft: Change aarch64 page table mappings to have ISH shareability for normal memory type mappigs.
hw-test
sel4test hardware builds + runs for this PR
verification
Needs formal verification input/change, or is motivated by verification
#1631
opened Mar 28, 2026 by
kent-mcleod
Member
•
Draft
aarch64: avoid clearing reserved SCTLR_EL2 bits
hw-test
sel4test hardware builds + runs for this PR
#1629
opened Mar 27, 2026 by
kent-mcleod
Member
Loading…
Add explicit type conversions
proof-test
run C proofs on PR (use when preprocess test failed)
verification
Needs formal verification input/change, or is motivated by verification
#1628
opened Mar 27, 2026 by
kent-mcleod
Member
Loading…
arm64: replace set/way cache ops with VA-based ops
#1620
opened Mar 17, 2026 by
hlyytine
Contributor
Loading…
arm64: start PPTR window mapping from physBase()
#1619
opened Mar 17, 2026 by
hlyytine
Contributor
Loading…
Draft: Remove Clean to point of unification from page table operations
hw-test
sel4test hardware builds + runs for this PR
#1609
opened Mar 10, 2026 by
kent-mcleod
Member
•
Draft
gh-557: Add userError and comment about truncate
proof-test
run C proofs on PR (use when preprocess test failed)
#1608
opened Mar 10, 2026 by
kent-mcleod
Member
Loading…
gh-275: Remove arm_hyp KernelSeL4Architecture def
#1606
opened Mar 9, 2026 by
kent-mcleod
Member
•
Draft
config: Fix evaluation ordering for configs
hw-build
do all sel4test hardware builds on this PR
#1594
opened Feb 16, 2026 by
Kswin01
Contributor
Loading…
debug: align debug_dumpScheduler output
#1584
opened Jan 15, 2026 by
midnightveil
Contributor
Loading…
mcs: handle endpoint and ntfn queues uniformly
hw-bench
run sel4bench on this PR
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
Contributor
Loading…
tools: support multiple methods with the same id
#1551
opened Nov 10, 2025 by
Indanz
Contributor
Loading…
SBI cap and CNode Minting with long badge
#1547
opened Nov 6, 2025 by
Ivan-Velickovic
Contributor
•
Draft
Proposal: Can we make invocation numbers flat?
#1542
opened Oct 31, 2025 by
kent-mcleod
Member
•
Draft
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
Contributor
Loading…
sel4.h: add missing vmenter.h include
x86
For issues related to the x86 arch
#1534
opened Oct 27, 2025 by
Ivan-Velickovic
Contributor
Loading…
x86: pass the EFI system table pointer to root task
proof-test
run C proofs on PR (use when preprocess test failed)
x86
For issues related to the x86 arch
#1527
opened Oct 21, 2025 by
cl91
Contributor
Loading…
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
Previous Next
ProTip!
What’s not been updated in a month: updated:<2026-03-23.