195d122172
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 | ||