lukem d376b4bd66 disable pmax miniroot for now; it won't build due to objcopy-crunchide issues		2002-07-23 11:08:28 +00:00
..
instkernel	…
miniroot	disable pmax miniroot for now; it won't build due to objcopy-crunchide issues	2002-07-23 11:08:28 +00:00
ramdisk	…
Makefile	…