![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <psp_def.h>
Data Fields | |
struct mbox_buffer_header | header |
uint32_t | spl_value |
struct mbox_buffer_header mbox_cmd_late_spl_buffer::header |