portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: Add SEL4_BOOTINFO_HEADER_NUM

Browse source
This commit is contained in:
Damon Lee 2019-06-17 15:03:54 +10:00
parent 9dcb470631
commit f4f375ff59
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
libsel4/include/sel4/bootinfo_types.h
View file

@ -90,5 +90,6 @@ typedef struct {
#define SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER 4
#define SEL4_BOOTINFO_HEADER_X86_TSC_FREQ 5 // frequency is in mhz
#define SEL4_BOOTINFO_HEADER_FDT 6
#define SEL4_BOOTINFO_HEADER_NUM SEL4_BOOTINFO_HEADER_FDT + 1
#endif // __LIBSEL4_BOOTINFO_TYPES_H