christos 0454199d21 fix awk		2015-04-22 19:25:18 +00:00
..
instkernel	…
miniroot	fix awk	2015-04-22 19:25:18 +00:00
stand	…
Makefile	…