Export value of MAX_IRQ
Ivan-Velickovic opened this issue · comments
It would be nice, for projects like Microkit where the system architecture is specified at build-time, if the value of MAX_IRQ
for ARM and RISC-V platforms is exported as part of the generated config. This would let us check if someone tries to register an IRQ that is greater than the platform defined maximum at build-time.
👍 That'd actually be nice for verification as well.