mycroft 22cefc03bc Bring back pmap_kernel(), for now always inlined as a pointer to ... kernel_pmap_store.		1995-04-10 12:41:29 +00:00
..
compile	new RCS ID format.	1994-10-26 08:23:50 +00:00
conf	Added -D_KERNEL to CFLAGS alongside each -DKERNEL.	1995-03-23 19:46:18 +00:00
dev	device.h is defunct.	1995-04-10 07:50:42 +00:00
include	Bring back pmap_kernel(), for now always inlined as a pointer to	1995-04-10 12:41:29 +00:00
pc532	Bring back pmap_kernel(), for now always inlined as a pointer to	1995-04-10 12:41:29 +00:00
stand	get "make depend" working.	1994-12-16 18:00:36 +00:00
Makefile	new RCS ID format.	1994-10-26 08:23:50 +00:00
To.Do	Update it!	1995-02-03 18:34:11 +00:00