rkujawa fd0228cf47 Also build WSCONS kernel.		2012-07-09 18:12:11 +00:00
..
MAKEDEV.conf	…
Makefile.inc	…
ttys	…