default TinHat
timeout 1
label TinHat
 kernel tinhat
 append initrd=tinhat.igz