Skip to content

Pull requests: seL4/seL4

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

Pull requests list

Make write-only mapping message consistent proof-test run C proofs on PR (use when preprocess test failed)
#1261 opened Jun 11, 2024 by Ivan-Velickovic Loading…
6
manual: document write-only pages
#1260 opened Jun 11, 2024 by Ivan-Velickovic Loading…
2
Disable KernelRiscvUseClintMtime by default
#1259 opened Jun 11, 2024 by Ivan-Velickovic Loading…
2
2
Review of user manual (only typos and syntax) docs Manual and other documentation
#1255 opened May 26, 2024 by hexcoder- Loading…
20
risc-v: remove special handling for restoring tp hw-test sel4test hardware builds + runs for this PR
#1253 opened May 23, 2024 by axel-h Loading…
9
vcpu: only trap WFx instructions from vCPUs
#1251 opened May 21, 2024 by andybui01 Loading…
7
Add new imx8mp-evk platform hw-build do all sel4test hardware builds on this PR new-platform platform ports
#1249 opened May 15, 2024 by nomadeel Loading…
3
arm tlb: guard TLB lockdown count hw-test sel4test hardware builds + runs for this PR proof-test run C proofs on PR (use when preprocess test failed)
#1247 opened May 2, 2024 by lsf37 Loading…
@lsf37
5
QEMU: ensure output folder exists build-system related to the build system
#1235 opened Mar 31, 2024 by axel-h Loading…
3
Manual Improvements docs Manual and other documentation
#1233 opened Mar 26, 2024 by Indanz • Draft
3
Manual: Document ARM Virtualisation docs Manual and other documentation
#1232 opened Mar 26, 2024 by Indanz Loading…
7
IRQ Fastpath
#1227 opened Mar 19, 2024 by danshea00 Loading…
6
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
#1222 opened Mar 14, 2024 by lsf37 • Draft
16
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
24
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…
11
github: factor out common workflows CI related to continuous integration and testing
#1196 opened Feb 10, 2024 by lsf37 Loading…
@lsf37
8
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…
18
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…
43
combine common api error codes docs Manual and other documentation
#1151 opened Dec 17, 2023 by bbrcknl Loading…
19
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…
4
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…
42
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…
68
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…
29
ProTip! What’s not been updated in a month: updated:<2024-05-11.