379663d70b
required for the ABI the kernel is being built for. XXX This is implemented in a kind-of nasty way that involves including source files, but it's still an improvement. o) Retire ISA_* options since they're unused and were always wrong. |
||
---|---|---|
.. | ||
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 |