timeout 10
title TinHat
        kernel /boot/tinhat
        initrd /boot/tinhat.igz