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 <vdigital3800@...9...> 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.prochaska@...1...> 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@...357...
> <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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main