Axel Heider 1596aa5857 use enum for SEL4_BOOTINFO_HEADER_xxx (#724) ... * use enum for SEL4_BOOTINFO_HEADER_xxx Also add more comments and use seL4_BootInfoID in seL4_BootInfoHeader. Signed-off-by: Axel Heider <axelheider@gmx.de>		2022-01-06 08:45:47 +11:00
..
arch_include	risc-v: remove unused file bootinfo.h	2022-01-04 19:07:06 +11:00
include	use enum for SEL4_BOOTINFO_HEADER_xxx (#724)	2022-01-06 08:45:47 +11:00
mode_include	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
sel4_arch_include	libsel4: adjust asm immediate syntax for clang	2021-12-09 11:09:50 +11:00
sel4_plat_include	consolidate arm core specific constants	2021-11-30 09:10:16 +11:00
src	Enabled IPC debug features under new config	2020-04-06 14:21:46 +10:00
tools	libsel4: Generate doxygen tag for error element	2021-10-17 15:02:45 +11:00
CMakeLists.txt	libsel4: fix license tags	2020-09-04 20:30:01 +08:00