161b83b959
mipsel' or 'machine mips mipseb' into the config file (with a few 64's tossed in for good measure). This will let us build the proper kernels with different worlds as part of make universe. |
||
---|---|---|
.. | ||
files.idt | ||
idt_machdep.c | ||
idtpci.c | ||
idtreg.h | ||
if_kr.c | ||
if_krreg.h | ||
obio.c | ||
obiovar.h | ||
std.idt | ||
uart_bus_rc32434.c | ||
uart_cpu_rc32434.c |