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