![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <bootmem.h>
#include <boot/tables.h>
#include <boot/coreboot_tables.h>
#include <symbols.h>
Go to the source code of this file.
Functions | |
void | arch_write_tables (uintptr_t coreboot_table) |
void | bootmem_arch_add_ranges (void) |
void | lb_arch_add_records (struct lb_header *header) |
Definition at line 12 of file tables.c.
References BM_MEM_OPENSBI, bootmem_add_range(), CONFIG, and REGION_SIZE.