joerg 6bc6b7aae6 Now that the name of the ISO image is no longer stable, rename the ... variable to make it possible to overwrite the default with build.sh -V CDROM_IMAGE=...		2012-01-15 17:36:55 +00:00
..
MAKEDEV.conf	Fix MAKEDEV on shark: Move ses(4) devices from MI code (MAKEDEV.tmpl) to	2007-01-15 23:35:11 +00:00
Makefile.inc	Now that the name of the ISO image is no longer stable, rename the	2012-01-15 17:36:55 +00:00
ttys	Add a constty entry, marked 'off', with otherwise the same settings	2008-10-07 10:00:00 +00:00