#!/bin/sh -e
echo "Genode@...153..."
cat << EOF
menuentry "Genode@...153..." {
	insmod ext2
	multiboot /genode/hypervisor
	module /genode/core
	module /genode/config config
	module /genode/init init
 	module /genode/timer timer
	module /genode/nitpicker nitpicker
	module /genode/liquid_fb liquid_fb
	module /genode/launchpad launchpad
	module /genode/scout scout
	module /genode/testnit testnit
	module /genode/nitlog nitlog
	module /genode/pci_drv pci_drv
	module /genode/vesa_drv vesa_drv
	module /genode/ps2_drv ps2_drv
}