matt 12635e46a1 The machine is cats, the machine_arch is arm (not arm32).		2001-06-12 17:38:41 +00:00
..
Makefile	Eliminate all files that are just #include <arm.foo.h>. Update Makefile	2001-06-12 17:37:35 +00:00
bootconfig.h	…
bus.h	…
conf.h	…
endian.h	…
frame.h	…
intr.h	…
irqhandler.h	…
joystick.h	…
katelib.h	…
kerndebug.h	…
param.h	The machine is cats, the machine_arch is arm (not arm32).	2001-06-12 17:38:41 +00:00
pcb.h	…
pci_machdep.h	…
pmap.h	…
psl.h	…
rtc.h	…
sysarch.h	…
types.h	…
vmparam.h	…