Request for Booting document
alexander.boettcher at ...1...
Wed Oct 30 09:41:20 CET 2013
On 25.10.2013 21:54, GANESH MALOTH wrote:
> 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.
More information about the users