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
}