9a5b2389dd
Add code so that the BERI boot process can ask the kernel linker for DTB blobs that may have been left for it by the boot loader, as done on PowerPC and ARM. This will require both a more mature boot loader, and more mature boot loader argument passing mechanism, than currently supported on BERI. Sponsored by: DARPA, AFRL |
||
---|---|---|
.. | ||
beri_machdep.c | ||
files.beri | ||
std.beri |