thorpej 6ce299c3d3 Use write-back caching on the Verde.		2002-03-28 16:47:49 +00:00
..
arm	Use write-back caching on the Verde.	2002-03-28 16:47:49 +00:00
arm32	The 80321 manual lies; it does have a CPU ID distinct from the 80200.	2002-03-27 01:34:47 +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
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