seL4/include/arch
Axel Heider 1400a8a8a2 risc-v: improve PLIC driver API and documentation
- describe PLIC behavior and corner cases.
- provide a common header file for the API.
- add a dummy PLIC driver for spike.

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
2021-09-26 11:31:51 +10:00
..
arm boot: define NUM_RESERVED_REGIONS 2021-09-26 09:50:53 +10:00
riscv/arch risc-v: improve PLIC driver API and documentation 2021-09-26 11:31:51 +10:00
x86/arch trivial: remove trailing empty lines 2021-08-27 21:15:11 +10:00