Hello Vincent, Perhaps removing the lines
GRUB_HIDDEN_TIMEOUT=0 GRUB_HIDDEN_TIMEOUT_QUIET=true from the file /etc/default/grub and doing a sudo update-grub one more time will show you the grub menu. Harm On Fri, Oct 9, 2015 at 5:18 PM, Vincent Digital <vdigital3...@gmail.com> wrote: > Hi, Christian, > > Thanks for clarifying. > I'm using Ubuntu 14.04 32-bit OS as Guest VM. > I've figured out the /home mapping based on the presentation that Norman > created for his presentation earlier this year. > > The final issue that I have not get it working is the GRUB configuration > https://github.com/cproc/genode/blob/vbox_vm_linux/doc/virtualbox_setup.txt > . > It could not work based on the instructions below : > > #!/bin/sh > > > > cat <<EOF > > menuentry 'Genode' { > > insmod ext2 > > set root='hd0,msdos1' > > legacy_configfile /boot/grub/menu.lst > > } > > EOF > > > > - make the file executable > > - $ sudo chmod +x /etc/grub.d/42_genode > > > > - update the GRUB configuration > > - $ sudo update-grub > > > > - reboot and start Genode or keep running VirtualBox on Linux > > - $ xinit /usr/bin/VBoxSDL --startvm "<name of Linux VM>" > > On reboot, what is the expected result, am I supposed to be able to choose > between boot-up into Genode or back into the Rescue Linux in the 3rd > partition ? > However, on reboot, I was not able to boot into Genode, just boot straight > into the Rescue Linux O/S in the 3rd partition. > Is there a sample grub2 configuration that I can use to select bootup > either into Genode or the Rescue Linux O/S. > > Thanks > > > > On Wed, Oct 7, 2015 at 11:57 PM, Christian Prochaska < > christian.procha...@genode-labs.com> wrote: > >> Hello Vincent, >> >> On 10/07/2015 03:23 AM, Vincent Digital wrote: >> > Hi, Can anyone help out. I'm trying to create the Turmvilla scenario on >> my >> > Lenovo X201 By following the setup file as compiled by@cproc >> > <https://github.com/cproc>: >> > >> https://github.com/cproc/genode/blob/vbox_vm_linux/doc/virtualbox_setup.txt >> > I'm trying to understand these parts of the instructions, a bit >> confusing : >> > After creating the 3 partitions and installing the *Create the Linux VM* >> > * - attach the 3 image files from the /genode directory * >> > >> > >>> How do I attach the image files "linux.vdi" and "home.vmdk" to the >> same Linux VM. "linux.vdi" is of 32 GB while >> > >>>"home.vmdk" is created from /dev/sda2 (at the host disk) which is 60 >> GB. I tried to attach both image files to the same >> > >>> SATA controller using the **storage settings of the VM - is this >> correct ? >> >> yes >> >> > * - add a permanent shared folder (for the generated Genode binaries) - >> > start the VM - install Linux - if the Linux installer supports it, >> create >> > an encrypted /home partition on /dev/sdb * >> > >> > >> > >>> "/dev/sdb" refers to the partition within the Guest Linux VM that I >> am installing ? Is it referring to the "home.vmdk" ?** >> >> correct >> >> > >>> How do I specify /home on this partition /dev/sdb ? There are no >> options for input of this folder name.* >> > >> >> Which Linux distribution are you installing as Guest VM? >> >> Christian >> >> >> >> >> ------------------------------------------------------------------------------ >> Full-scale, agent-less Infrastructure Monitoring from a single dashboard >> Integrate with 40+ ManageEngine ITSM Solutions for complete visibility >> Physical-Virtual-Cloud Infrastructure monitoring from one console >> Real user monitoring with APM Insights and performance trend reports >> Learn More >> http://pubads.g.doubleclick.net/gampad/clk?id=247754911&iu=/4140 >> _______________________________________________ >> genode-main mailing list >> genode-main@lists.sourceforge.net >> https://lists.sourceforge.net/lists/listinfo/genode-main >> > > > > ------------------------------------------------------------------------------ > > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > >
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
