christos 7d45325d02 give it a bit more room.

2016-12-19 16:23:10 +00:00

..

cdroms

…

gzboot

…

instkernel

give it a bit more room.

2016-12-19 16:23:10 +00:00

Makefile

…