30 Oct
2013
30 Oct
'13
8:41 a.m.
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.