search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

platsupport/simple: add per cpu irq support on arm #18

Closed pingerino closed 4 years ago

pingerino commented 4 years ago
nomadeel commented 4 years ago

Made a small fix to the commit and also fixed the style. Will pull in your changes now.

pingerino commented 4 years ago

Cheers!