Hi, Harm, Thanks. It worked. I could boot up into Genode into CLI Monitor. However, when I start Linux subsystem, the window opens up and hanged. Guess I have to configure Intel AMT to see what's wrong.
Regards. On Sat, Oct 10, 2015 at 12:32 AM, Harm de Vries <vries...@gmail.com> wrote: > > 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 > >
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
