sel4_
sys
0.1.0
In sel4_
sys::
seL4_
Boot
InfoID
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
sel4_sys
::
seL4_BootInfoID
Constant
SEL4_BOOTINFO_HEADER_FDT
Copy item path
Settings
Help
Summary
Source
pub const SEL4_BOOTINFO_HEADER_FDT:
Type
= 6;