search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Check that registered IRQ numbers are sane #109

Open Ivan-Velickovic opened 4 months ago

Ivan-Velickovic commented 4 months ago

seL4 enforces a maximum IRQ number for ARM and RISC-V platforms, we should check for this at build time to avoid an seL4 invocation error upon boot.

Depends on https://github.com/seL4/seL4/issues/1207.