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

add FDT extended bootinfo type

Browse source 
FDT is not platform specific (and used on RISC-V and ARM), so this
bootinfo type isn't either.
This commit is contained in:
Simon Shields 2018-11-26 16:52:21 +11:00
parent b7c053f93f
commit d8c9069c0a
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CHANGES
View file

@ -26,6 +26,7 @@ Upcoming release: BREAKING
* Support added for ARM kernel serial driver to be linked in at build time based on the device tree compatibility string.
* Support added for compiling verified configurations of the kernel with Clang 7.
* Support added for Hardkernel ODROID-C2.
* Added extended bootinfo header for device tree (SEL4_BOOTINFO_HEADER_FDT).
## Upgrade Notes
---

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

@ -89,5 +89,6 @@ typedef struct {
#define SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP 3
#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
#endif // __LIBSEL4_BOOTINFO_TYPES_H