thorpej dbbad6df48 profileio.h is a Shark-specific header, so don't reference an ... ARM-generic verion (it's going away).		2001-11-23 20:47:17 +00:00
..
Makefile	Kill <machine/katelib.h>. Any place that still uses it should just	2001-11-22 18:34:30 +00:00
asm.h	re-add asm.h to get arch/dnard to compile again; it links to the	2001-10-06 00:27:59 +00:00
bootconfig.h	Populate dnard/include	2001-05-09 15:40:54 +00:00
conf.h	Remove includes that only include <arm/*.h>. These are now picked up	2001-05-09 22:30:43 +00:00
db_machdep.h	Use the common arm32/pcb.h. Rearrange db_machdep.h to get definitions	2001-05-09 15:17:45 +00:00
frame.h	More merging.	2001-03-04 05:55:43 +00:00
intr.h	Remove includes that only include <arm/*.h>. These are now picked up	2001-05-09 22:30:43 +00:00
irqhandler.h	use _KERNEL_OPT	2001-05-30 11:57:16 +00:00
joystick.h	Populate dnard/include	2001-05-09 15:40:54 +00:00
kerndebug.h	Populate dnard/include	2001-05-09 15:40:54 +00:00
ofisa_machdep.h	More merging.	2001-03-04 05:55:43 +00:00
param.h	Need one of these.	2001-03-04 06:06:57 +00:00
pmap.h	Extra whitespace removal.	2001-11-23 17:29:00 +00:00
profileio.h	profileio.h is a Shark-specific header, so don't reference an	2001-11-23 20:47:17 +00:00
psl.h	Populate dnard/include	2001-05-09 15:40:54 +00:00
scrio.h	Populate dnard/include	2001-05-09 15:40:54 +00:00
types.h	Add 26-bit and 32-bit types.h files, which indicate the programming	2001-11-22 17:59:57 +00:00
vmparam.h	Move even more constants into the shared 32-bit vmparam.h header.	2001-11-23 18:16:10 +00:00