-
Notifications
You must be signed in to change notification settings - Fork 678
Pull requests: seL4/seL4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
aarch64: fix building with clang-18
build-system
related to the build system
#1372
opened Dec 19, 2024 by
cl91
Loading…
Flexible Untyped Memory Regions
enhancement
verification
Needs formal verification input/change, or is motivated by verification
Fix apparent potential bug in issues about the mixed-criticality system config
verification
Needs formal verification input/change, or is motivated by verification
cancelIPC
for MCS
MCS
#1358
opened Nov 30, 2024 by
nspin
Loading…
Platform support for Cheshire (Digilent Genesys2)
new-platform
platform ports
#1354
opened Nov 25, 2024 by
omeh-a
Loading…
[RFC-15] Add experimental CHERI support (hybrid kernel)
new-platform
platform ports
#1344
opened Nov 3, 2024 by
heshamelmatary
Loading…
arm,gic_v3: consolidate types for verification
hw-test
sel4test hardware builds runs for this PR
verification
Needs formal verification input/change, or is motivated by verification
virtualisation
relevant to virtualisation
#1337
opened Oct 25, 2024 by
lsf37
Loading…
FPU Context Switching
hw-test
sel4test hardware builds runs for this PR
verification
Needs formal verification input/change, or is motivated by verification
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…
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…
microkit: remove const qualifiers from domain variables
#1308
opened Aug 14, 2024 by
JE-Archer
Loading…
thread state: abandon replyObject NULL invariant
hw-test
sel4test hardware builds runs for this PR
MCS
issues about the mixed-criticality system config
#1297
opened Jul 15, 2024 by
lsf37
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
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…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.