matthias 15e824377a * Add code for CPU_NKPDE sysctl. ... * Compute nkpde at boottime.		1996-12-23 08:36:08 +00:00
..
compile	new RCS ID format.	1994-10-26 08:23:50 +00:00
conf	Fix a typo: s/COPT/COPTS/	1996-12-22 19:14:14 +00:00
dev	* Prototyping tweaks.	1996-11-24 13:32:53 +00:00
fpu	* Do not include limits.h, use machine/limits.h.	1996-10-23 07:43:44 +00:00
include	* Enlarge kernel virtual memory space. The pc532 kernel now runs at	1996-12-07 09:24:37 +00:00
pc532	* Add code for CPU_NKPDE sysctl.	1996-12-23 08:36:08 +00:00
stand	* We get bcopy from libkern.o now.	1996-11-07 07:34:02 +00:00
Makefile	new RCS ID format.	1994-10-26 08:23:50 +00:00
To.Do	* Phil Budne's is now integrated.	1996-10-23 07:55:10 +00:00