![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <coreboot_tables.h>
Data Fields | |
uint32_t | tag |
uint32_t | size |
lb_uint64_t | rsdp_pointer |
Definition at line 561 of file coreboot_tables.h.
lb_uint64_t lb_acpi_rsdp::rsdp_pointer |
Definition at line 564 of file coreboot_tables.h.
uint32_t lb_acpi_rsdp::size |
Definition at line 563 of file coreboot_tables.h.
uint32_t lb_acpi_rsdp::tag |
Definition at line 562 of file coreboot_tables.h.