This directory contains the NetBSD/Atari-1.1 kernels. The BOOT.gz kernel is the same kernel as the on on the boot-floppy. It's a reasonable small kernel that is able to boot in 4Mb ram. It has enough functionality to suit most people. The GENERIC.gz kernel is rather bulky and has all Atari supported kernel options turned on. A special kernel is the BOOT-fpe.gz kernel. This kernel has the fpu-emulator support built-in. Leo.