seL4/include/arch
Axel Heider c2bf323d0a boot/risc-v: remove unused MODE_RESERVED
MODE_RESERVED is unused on RISC-V, so remove it from the code base. It
can be brought back when needed based on the state of the ARM
implementation, which has been clean up to remove global dependencies.

Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-09-26 09:50:53 +10:00
..
arm boot: define NUM_RESERVED_REGIONS 2021-09-26 09:50:53 +10:00
riscv/arch boot/risc-v: remove unused MODE_RESERVED 2021-09-26 09:50:53 +10:00
x86/arch trivial: remove trailing empty lines 2021-08-27 21:15:11 +10:00