GRUB2
From TUDOS-Wiki
GRUB2
GRUB2 uses a different configuration file syntax. The following boots the famous 'Hello World'.
menuentry "L4 hello" {
multiboot /bootstrap -serial
module /fiasco /fiasco -serial_esc
module /sigma0 /sigma0
module /roottask /roottask
module /hello /hello
}