set timeout=0
set default=0

menuentry "tinyOS" {
  multiboot /boot/kernel.bin
}