![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
Go to the source code of this file.
Functions | |
void | run_opensbi (const int hart_id, const void *fdt, const void *opensbi, const void *payload, const int payload_mode) |