thorpej 20c4b7b844 Change pcb32_pagedir to a paddr_t (after all, it's used as a paddr_t ... everywhere in the code).		2003-02-23 23:40:01 +00:00
..
acorn32	Change pcb32_pagedir to a paddr_t (after all, it's used as a paddr_t	2003-02-23 23:40:01 +00:00
compile	Rework how KERNOBJDIR functions; now it's always determined with	2003-01-06 17:40:18 +00:00
conf	Fix typo (responsiness -> responsiveness).	2002-11-22 12:20:58 +00:00
dev	rename memory_disc_size to md_root_size, so that kernels without	2002-05-06 21:18:25 +00:00
doc	Added the documentation section of arch/arm32 to not let it dissapear.	2001-10-18 00:05:00 +00:00
include	Add NEVENT1 and 2 as interrupt lines. Simtec docs for their 7500 board	2003-02-08 17:45:49 +00:00
mainbus	Fix printf format from daddr_t changes.	2003-01-31 02:05:41 +00:00
podulebus	correct grammar and use use	2003-02-04 23:40:21 +00:00
stand	Small typo and add initialisation for the `bank' counter	2003-01-15 16:29:27 +00:00
Makefile	Rework how KERNOBJDIR functions; now it's always determined with	2003-01-06 17:40:18 +00:00