On 01.11.2012 10:29, Alexander Boettcher wrote:
On 26.10.2012 11:34, Bill Chappell wrote:
I have successfully run the Genode demo on top of Ubuntu 12.04 LTS and the Genode/NOVA demo on top of Ubuntu 12.04 LTS. GRUB savedefault is false.
I tried to reproduce the issue.
I have compiled Genode master at a Ubuntu 12.04 LTS installation, copied the binaries of the demo setup into the boot partition (for me ext2), added a grub2 entry and then I had to run the grub2 configuration/update tool.
At the next boot I could choose the Genode@...153... entry and the demo setup came up finally.
Short instruction summary: * put the attached grub2 entry to the folder /etc/grub.d and make it executable * uncomment the GRUB_HIDDEN_TIMEOUT* values in /etc/default/grub * run "sudo update-grub" * verify that the boot entry really showed up in /boot/grub/grub.cfg * copy the binaries of the Genode/Nova build directory to /boot/genode/.
I hope it helps,
Alex.