microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Check that registered IRQ numbers are sane

Open Ivan-Velickovic opened this issue 1 year ago • 0 comments

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.

Ivan-Velickovic avatar Feb 28 '24 02:02 Ivan-Velickovic