ee91b1e521
The kernel image that the RPI firmware boots is now netbsd.img in the kernel build directory. XXX fdtbus_get_reg needs reworking |
||
---|---|---|
.. | ||
acpica | ||
common | ||
compiler_rt | ||
drm | ||
drm2 | ||
dwc2 | ||
gnu-efi | ||
ipf/netinet | ||
libfdt | ||
sljit | ||
vchiq |