In this directory you will find the ISO9660 images for the DemoLinux
CDROM. These files have an .img extension here, even if .iso is more
often used. If your CD writer software prefers a .iso extension, just
rename the .img file to .iso after download.

We also provide a compressed file (extension .gz) which is smaller
and that you can decompress using gunzip.