Labels

sel4bench and related actions

related to test boards and machines

Something isn't working

Pull requests that update a dependency file

for docker images and sel4-camkes-docker repo

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

actions related to microkit

Making things faster

Further information is requested

actions on the kernel repo

actions for sel4test and related repos

actions related to proofs and l4v

This will not be worked on