thorpej 863afc5d41 Fix a printf format.		2002-03-29 00:48:58 +00:00
..
arm	Use write-back caching on the Verde.	2002-03-28 16:47:49 +00:00
arm32	Fix a printf format.	2002-03-29 00:48:58 +00:00
conf	Restructure a few things in order to support other XScale core	2002-03-26 19:29:44 +00:00
footbridge	Use vtopte() instead of pmap_pte().	2002-03-24 18:12:54 +00:00
fpe-arm	Re-work the way that FPAs are handled. If ARMFPE isn't configured, don't	2002-03-10 15:29:53 +00:00
include	The 80321 manual lies; it does have a CPU ID distinct from the 80200.	2002-03-27 01:34:47 +00:00
iomd	* arm_byte_to_page() -> arm_btop()	2002-03-24 03:37:18 +00:00
mainbus	* arm_byte_to_page() -> arm_btop()	2002-03-24 03:37:18 +00:00
ofw	* Move some generic ARM OpenFirmware stuff into arch/arm/ofw (still	2002-02-06 21:30:25 +00:00
sa11x0	Use vtopte() instead of pmap_pte().	2002-03-24 18:12:54 +00:00
xscale	Fix soft interrupts.	2002-03-28 03:19:31 +00:00
Makefile	Ensure that vidc.h gets installed somewhere -- Xarm32vidc needs it to compile.	2001-12-17 15:07:37 +00:00