Constants§
- SEL4_
BOOTINFO_ HEADER_ FDT - SEL4_
BOOTINFO_ HEADER_ NUM - SEL4_
BOOTINFO_ HEADER_ PADDING - SEL4_
BOOTINFO_ HEADER_ X86_ ACPI_ RSDP - SEL4_
BOOTINFO_ HEADER_ X86_ FRAMEBUFFER - SEL4_
BOOTINFO_ HEADER_ X86_ MBMMAP - SEL4_
BOOTINFO_ HEADER_ X86_ TSC_ FREQ - SEL4_
BOOTINFO_ HEADER_ X86_ VBE - _enum_
pad_ seL4_ Boot InfoID