#!/bin/sh
exec tail -n +3 $0
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.

menuentry "Genode NOVA" {
 insmod ext2
 multiboot /hypervisor iommu serial nopcid
 module /genode/core core
 module /genode/config config
 module /genode/init init
 module /genode/timer timer
 module /genode/acpi_drv acpi_drv
 module /genode/pci_drv pci_drv
 module /genode/pci_device_pd pci_device_pd
 module /genode/fb_drv fb_drv
 module /genode/usb_drv usb_drv
 module /genode/nitpicker nitpicker
 module /genode/pointer pointer
 module /genode/status_bar status_bar
 module /genode/report_rom report_rom
 module /genode/liquid_fb liquid_fb
 module /genode/scout scout
 module /genode/testnit testnit
 module /genode/nitlog nitlog
 module /genode/launchpad launchpad
 module /genode/launchpad.config launchpad.config
}