Skip to content

No labels!

There aren’t any labels for this repository quite yet.

26 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
benchmark-build
benchmark-build
relevant to benchmark build configurations
1
bug
bug
Not working as intended
10
build-system
build-system
related to the build system
8
CI
CI
related to continuous integration and testing
2
cleanup
cleanup
Cleanup of code, comments, docs ...
6
debug-build
debug-build
relevant to debug build configurations
2
docs
docs
Manual and other documentation
24
duplicate
duplicate
enhancement
enhancement
31
good first issue
good first issue
1
help wanted
help wanted
7
hw-bench
hw-bench
run sel4bench on this PR
1
hw-build
hw-build
do all sel4test hardware builds on this PR
2
hw-test
hw-test
sel4test hardware builds + runs for this PR
7
invalid
invalid
MCS
MCS
issues about the mixed-criticality system config
26
new-platform
new-platform
platform ports
7
on-hold
on-hold
Not currently being worked on, but left open for later
2
performance
performance
performance improvements or issues
proof-test
proof-test
run C proofs on PR (use when preprocess test failed)
1
question
question
More of a question than an issue
4
security
security
relevant to security, such as integrity or confidentiality violations
8
SMP
SMP
Issues related to muticore functionality
16
verification
verification
Needs formal verification input/change, or is motivated by verification
22
virtualisation
virtualisation
relevant to virtualisation
6
wontfix
wontfix