Thu Nov 24 15:24:15 1994  Andreas Busse  (andy at scotty)

	* V 0.13
	- Debugged cacheflush() and some other things.
	  Kernel can now be loaded into Kseg0 even on
	  the Acer PICA system

	* V 0.12
	- Kernel can now be loaded and executed in kseg0
	  (unmapped, cached)
	- tons of minor and heavy bugs fixed, but still
	  everything but final :-)

Tue Nov 22 12:16:35 1994  Andreas Busse  (andy at scotty)

	* V 0.11
	- Improved ARC query functions.
	- Added binaries to distribution.

	

