martin 5cefff4513 It is "MAKEDEV bpf" nowadays		2006-08-18 21:44:53 +00:00
..
bootfs	…
instfs	It is "MAKEDEV bpf" nowadays	2006-08-18 21:44:53 +00:00
xminiroot	…
Makefile	…