martin eb66c2f831 Slightly increase the image size		2017-05-12 07:26:35 +00:00
..
cdroms	Use CDBUILDEXTRA to put bootloader into iso.	2008-05-03 05:07:27 +00:00
instkernel	It looks the ARC BIOS has another limit which prevents loading	2008-11-20 13:57:09 +00:00
ramdisk	Slightly increase the image size	2017-05-12 07:26:35 +00:00
Makefile	Change remaining instances of ${RELEASEDIR}/${MACHINES} to	2008-06-23 02:16:53 +00:00