FILENAME="/var/tmp/kernel_loading..."
KERNEL="/boot/vmlinux.bin"
LOADER="/boot/loader.o"
OPTIONS="root=/dev/hda1 revclock=1"
#OPTIONS="root=/dev/hda1 console=uart,mmio,0x80004600,57600n8 revclock=1"
#OPTIONS="root=/dev/ram0 revclock=1"
#INITRD="/boot/initrd.gz"