![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stdint.h>
Go to the source code of this file.
Data Structures | |
struct | bl31_plat_param |
struct | bl31_fdt_param |
struct | bl31_u64_param |
Enumerations | |
enum | { PARAM_NONE = 0 , PARAM_FDT , PARAM_COREBOOT_TABLE } |
Functions | |
void | params_early_setup (void *ptr) |
anonymous enum |
Enumerator | |
---|---|
PARAM_NONE | |
PARAM_FDT | |
PARAM_COREBOOT_TABLE |
Definition at line 9 of file plat_params.h.