seL4/include/arch
Axel Heider d76f9f93a6 boot: improve comments
Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-09-26 09:50:53 +10:00
..
arm boot: improve comments 2021-09-26 09:50:53 +10:00
riscv/arch boot: improve comments 2021-09-26 09:50:53 +10:00
x86/arch trivial: remove trailing empty lines 2021-08-27 21:15:11 +10:00