Pull requests: seL4/seL4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
arm tlb: guard TLB lockdown count
hw-test
sel4test hardware builds + runs for this PR
#1247
opened May 2, 2024 by
lsf37
Loading…
Remove python2 support for core build tools
cleanup
Cleanup of code, comments, docs ...
hw-build
do all sel4test hardware builds on this PR
#1246
opened May 2, 2024 by
Ivan-Velickovic
Loading…
QEMU: ensure output folder exists
build-system
related to the build system
#1235
opened Mar 31, 2024 by
axel-h
Loading…
Manual: Document ARM Virtualisation
docs
Manual and other documentation
#1232
opened Mar 26, 2024 by
Indanz
Loading…
Add new APIs for generating SGIs
enhancement
hw-test
sel4test hardware builds + runs for this PR
verification
Needs formal verification input/change, or is motivated by verification
AArch64: Hardware Debug API port
hw-bench
run sel4bench on this PR
hw-test
sel4test hardware builds + runs for this PR
#1206
opened Feb 26, 2024 by
alwin-joshy
•
Draft
Python: fix errors found by type checker
cleanup
Cleanup of code, comments, docs ...
hw-build
do all sel4test hardware builds on this PR
#1205
opened Feb 26, 2024 by
axel-h
Loading…
github: factor out common workflows
CI
related to continuous integration and testing
#1196
opened Feb 10, 2024 by
lsf37
Loading…
gicv3: Use split EOI mode
hw-build
do all sel4test hardware builds on this PR
hw-test
sel4test hardware builds + runs for this PR
#1183
opened Feb 1, 2024 by
kent-mcleod
Loading…
mcs: more uniformly handle ready and release queue updates
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
#1176
opened Jan 30, 2024 by
michaelmcinerney
Loading…
morello: Add a new Morello hardware board platform
new-platform
platform ports
#1174
opened Jan 29, 2024 by
heshamelmatary
Loading…
morello: Add a new FVP platform
new-platform
platform ports
#1173
opened Jan 29, 2024 by
heshamelmatary
Loading…
morello: Add initial support for a CPU and a QEMU platform
new-platform
platform ports
#1157
opened Jan 8, 2024 by
heshamelmatary
Loading…
combine common api error codes
docs
Manual and other documentation
#1151
opened Dec 17, 2023 by
bbrcknl
Loading…
riscv: drop unused PLIC_IRQ_OFFSET
cleanup
Cleanup of code, comments, docs ...
proof-test
run C proofs on PR (use when preprocess test failed)
#1141
opened Nov 24, 2023 by
axel-h
Loading…
NVIDIA Jetson Orin support
hw-bench
run sel4bench on this PR
new-platform
platform ports
verification
Needs formal verification input/change, or is motivated by verification
#1135
opened Nov 17, 2023 by
andybui01
Loading…
VT-d: add remappable MSI and IOAPIC support
hw-test
sel4test hardware builds + runs for this PR
#1098
opened Aug 30, 2023 by
abrandnewusername
Loading…
vcpu maintenance IRQ improvement
verification
Needs formal verification input/change, or is motivated by verification
virtualisation
relevant to virtualisation
#1046
opened May 28, 2023 by
JorgeMVP
Loading…
aarch64: check if page is writeable for DC IVAC
hw-build
do all sel4test hardware builds on this PR
hw-test
sel4test hardware builds + runs for this PR
#1041
opened May 23, 2023 by
kent-mcleod
•
Draft
SMP: only enter scheduler if node holds BKL
SMP
Issues related to muticore functionality
verification
Needs formal verification input/change, or is motivated by verification
#1029
opened Apr 27, 2023 by
andybui01
Loading…
Unclobber interface XML files
build-system
related to the build system
hw-build
do all sel4test hardware builds on this PR
#977
opened Mar 1, 2023 by
nspin
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.