Request for Booting document

[Alexander Boettcher]

Hello,

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 http://sourceforge.net/mailarchive/message.php?msg_id=30046357 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.

Regards,

Alexander Boettcher.