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	- There's no need to overwrite the default device method with the default	2011-11-22 21:28:20 +00:00
idtreg.h
if_kr.c	- There's no need to overwrite the default device method with the default	2011-11-22 21:28:20 +00:00
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