4d19b97f11
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 |