running Virtualbox on Genode

[Alexander Boettcher]

Some additional note:

make sure that you remove/uncomment all RUN_OPT in your etc/build.conf
and really replace it by this line:

# Set RUN_OPT in your build.conf to: RUN_OPT = --include image/disk

Otherwise the resulting image is not in the expected state.

Alex.

On 10.09.2015 05:38, Vincent Digital wrote:
> Hi, Alex,
> 
> I've used your USB_RUN script to create an image file.
> I followed your instructions to prepare the USB stick. However, the USB
> stick cannot boot up.
> Unfortunately, I do not have access to a laptop with serial port so I am
> unable to get any logs.
> Can I check with you on your instructions (the mini-howto below) instead.
> Thanks.
> 
> # Short mini howto for nova_x86_64:
> # - assumption - /dev/sdc is your USB stick
> # - assumption - you are in the genode source root directory
> # - assumption - you have prepared all external ports
> # - assumption - you have build the rump tools -> tool/tool_chain_rump
> #
> # create a nova_x86_64 build directory
> # - tool/create_builddir nova_x86_64
> #
> # Put/symlink your Windows 7 vdi to build/nova_x86_64/win7.vdi
> #
> # Set RUN_OPT in your build.conf to: RUN_OPT = --include image/disk
> #
> # Build everything:
> # - make -C build/nova_x86_64 run/vbox_usb
> #
> # Make sure that the USB is not used - all partitions are un-mounted.
>>> How should I prepare this USB stick, should it be formatted under a
> particular filesystem (ext2, or FAT32)
>>> I have tried various ways - delete everything including partitions, etc.
> and then create a new partition
>>> Can I clarify the steps below are in sequential order
>>> 1. dd operation
>>> 2. fdisk operation  - delete all partitions, then create a new partition
> and then write to disk.
>>> 3. Resizefs operation
>>> 4. Mount partiton (I tried this but could not get a successful mount
> until I create a filesystem using mke2fs. Is this step necessary ?)
> 
> # Copy disk image to your USB stick:
> # - sudo dd if=build/nova_x86_64/var/run/vbox_usb.img of=/dev/sdc
> #
> # Make sure that the USB partition of the stick is un-mounted.
> #
> # Resize USB stick partition to maximum:
> # - sudo fdisk /dev/sdc
> # -- delete partition ('d')
> # -- create partition - ('p')
> # -- write table to disk and exit ('w')
> #
> # - sudo resize2fs -p /dev/sdc1
> #
> # Mount Genode partition on USB stick and copy your Windows image to the USB
> # stick:
> #
> # - sudo mount /dev/sdc1 /media/genode
> # - cp build/nova_x86_64/win7.vdi /media/genode/.
> # - mkdir /media/genode/ram
> # - cp build/nova_x86_64/bin/overlay_win7.vdi /media/genode/ram/.
> # - umount /media/genode
> #
> # Boot your USB stick. For debugging get the serial output of the test
> machine.
> #
> 
> 
> 
> 
> 
> 
> On Tue, Sep 1, 2015 at 3:03 AM, Alexander Boettcher <
> alexander.boettcher at ...1...> wrote:
> 
>> On 28.08.2015 13:44, Alexander Boettcher wrote:
>>>> The part that I am not sure are the "win7.vdi" and "overlay_win7.vdi"
>>>> files. How are they linked to the vbox_auto_win7.iso file ?
>>>> I have copied them onto the thumbdrive but is this correct ?
>>
>> You may try the following branch
>> https://github.com/alex-ab/genode/commits/vbox_usb_run. There exists now
>> a run script called repos/ports/run/vbox_usb.run which helps you in
>> setting up a Virtualbox on Genode/NOVA running from USB stick and
>> fetching the Virtualbox image from the vary same USB stick. Please
>> follow the instruction as described in the run script.
>>
>> Still, there a lot of manual steps to go - but it may help a bit.
>>
>> Please keep in mind, depending on the read and write performance of your
>> USB controller and stick the overall experience may be not as good as
>> when used with a real hard disk.
>>
>> Alex.
>>
>>
>> ------------------------------------------------------------------------------
>> _______________________________________________
>> genode-main mailing list
>> genode-main at lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>
> 
> 
> 
> ------------------------------------------------------------------------------
> Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
> Get real-time metrics from all of your servers, apps and tools
> in one place.
> SourceForge users - Click here to start your Free Trial of Datadog now!
> http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
> 
> 
> 
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>