Juli Mallett 379663d70b o) Use ABI, not ISA_* options, to determine whether to compile bits if libkern ...

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.

2012-03-12 21:25:32 +00:00

..

files.idt

…

idt_machdep.c

Remove platform APIs which are not used by any code and which had only stub

2012-03-12 07:34:15 +00:00

idtpci.c

…

idtreg.h

…

if_kr.c

…

if_krreg.h

…

obio.c

…

obiovar.h

…

std.idt

o) Use ABI, not ISA_* options, to determine whether to compile bits if libkern

2012-03-12 21:25:32 +00:00

uart_bus_rc32434.c

…

uart_cpu_rc32434.c

…