matthias 89a49bedc6 * Set _kernel_text to the correct value. ... * Fix a typo in delay(). * Disable generation of profiling prologue for proc_trampoline, sigcode, idle, handle_trap, flush_icache, svc and interrupt. * A few tweaks to make kgdb and ddb work nicer.		1996-10-09 07:45:13 +00:00
..
compile	new RCS ID format.	1994-10-26 08:23:50 +00:00
conf	* Add files needed for kgdb and ddb.	1996-10-09 07:34:42 +00:00
dev	* Remove ncr_minphys. Simply use minphys.	1996-10-09 07:29:58 +00:00
fpu	* Add the README file from Ian Dall's original distribution.	1996-10-09 07:40:45 +00:00
include	* Remove intr_disable/intr_enable stuff.	1996-10-09 07:28:52 +00:00
pc532	* Set _kernel_text to the correct value.	1996-10-09 07:45:13 +00:00
stand	* Now that ddb works, boot should set esym to the correct value...	1996-10-09 07:42:13 +00:00
Makefile	new RCS ID format.	1994-10-26 08:23:50 +00:00
To.Do	* ddb now works.	1996-10-09 07:21:47 +00:00