tsutsui 3c8b0446fe Change type of dumpmag to u_int32_t since it is actually ... a 32bit unsigned magic number. As per discussion on tech-kern, and fixes port-sparc64/11949.		2002-03-06 13:10:18 +00:00
..
compile	…
conf	Now that there is a generic SA-11x0 CPU sleep routine, use the	2002-01-30 00:38:55 +00:00
dev	bootinfo.h, config_hook.h, platid.h are moved to hpc/include	2002-02-02 05:31:56 +00:00
hpcarm	Change type of dumpmag to u_int32_t since it is actually	2002-03-06 13:10:18 +00:00
include	Implement pmap_growkernel for arm32 based ports.	2002-03-03 11:22:58 +00:00
sa11x0	Fix location of some headers, IPAQ kernel now manages to make depend.	2002-02-08 10:37:16 +00:00
stand	…
Makefile	…