leo 7a4fed2916 Allow the loading of compressed kernels. This makes it again possible ... to make a 'system disk' on a 720KB floppy that is usable.		1999-06-23 19:26:13 +00:00
..
aptck	…
chg_pid	…
libtos	…
loadbsd	Allow the loading of compressed kernels. This makes it again possible	1999-06-23 19:26:13 +00:00
rawwrite	…
Makefile	…
Makefile.inc	…