Module sel4_sys::seL4_BootInfoID

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_BootInfoID

Type Aliases

• Type