On Nov 7, 2014 5:13 AM, "Christian Helmuth" <christian.helmuth@...141....1...> wrote:

Hello Christian,

thanks for the script. In the past, I used the legacy support in Grub2

  insmod legacycfg
  insmod ext2
  legacy_configfile /boot/grub/menu.lst

This is also part of genode/tool/create_grub2.

Greets
--
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main