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@NOVA 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.
#!/bin/sh -e
echo "Genode@NOVA"
cat << EOF
menuentry "Genode@NOVA" {
insmod ext2
multiboot /genode/hypervisor
module /genode/core
module /genode/config config
module /genode/init init
module /genode/timer timer
module /genode/nitpicker nitpicker
module /genode/liquid_fb liquid_fb
module /genode/launchpad launchpad
module /genode/scout scout
module /genode/testnit testnit
module /genode/nitlog nitlog
module /genode/pci_drv pci_drv
module /genode/vesa_drv vesa_drv
module /genode/ps2_drv ps2_drv
}
------------------------------------------------------------------------------
LogMeIn Central: Instant, anywhere, Remote PC access and management.
Stay in control, update software, and manage PCs from one command center
Diagnose problems and improve visibility into emerging IT issues
Automate, monitor and manage. Do more in less time with Central
http://p.sf.net/sfu/logmein12331_d2d
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
