Request for Booting document

Alexander Boettcher alexander.boettcher at ...1...
Wed Oct 30 09:41:20 CET 2013


On 25.10.2013 21:54, GANESH MALOTH wrote:
> Sir,
> Actually i wanted to port Genode in my system which has ubuntu-12.10
> (x86-32bit) operating system.
> And boot it using Genode as one of the operating system.

in there
are some pointers how to add a Genode boot entry to grub2 of a Ubuntu
12.04 installation. Probably the description is nowadays outdated but at
least it may serve as starting point.


Alexander Boettcher.

More information about the users mailing list