Virtualbox + rump_fs + qemu

a3an a3an at ...294...
Mon Feb 23 18:20:47 CET 2015

Hello Christian,

here is the build script. I have done a make clean before to get rid of 
any "dirt".
I should mention that two patches have been installed to rump_fs as 
suggested by Josef to
improve sync management:
and another patch to provide sync() support to rump_fs.

set use_net 0

set build_components {
     core init virtualbox

lappend_if [have_spec acpi]  build_components drivers/acpi
lappend_if [have_spec pci]   build_components drivers/pci
lappend_if [have_spec x86]   build_components drivers/rtc

lappend_if [expr $use_net]   build_components drivers/nic

build $build_components


set config {
<config prio_levels="4">
         <service name="ROM"/>
         <service name="RAM"/>
         <service name="IRQ"/>
         <service name="IO_MEM"/>
         <service name="IO_PORT"/>
         <service name="CAP"/>
         <service name="PD"/>
         <service name="RM"/>
         <service name="CPU"/>
         <service name="LOG"/>
         <service name="SIGNAL"/>
         <any-service> <any-child/> <parent/> </any-service>
     <start name="timer">
         <resource name="RAM" quantum="1M"/>
         <provides><service name="Timer"/></provides>

append_if [have_spec acpi] config {
     <start name="acpi" priority="-1">
         <resource name="RAM" quantum="8M"/>
         <binary name="acpi_drv"/>
             <service name="PCI"/>
             <service name="IRQ" />
             <service name="PCI"> <any-child /> </service>
             <any-service> <parent/> <any-child /> </any-service>

append_if [expr ![have_spec acpi] && [have_spec pci]] config {
     <start name="pci_drv" priority="-1">
         <resource name="RAM" quantum="2M"/>
         <provides> <service name="PCI"/> </provides>

append_if [have_spec ps2] config {
     <start name="ps2_drv" priority="-1">
         <resource name="RAM" quantum="1M"/>
         <provides><service name="Input"/></provides>

append_if [have_spec framebuffer] config {
     <start name="fb_drv" priority="-1">
         <resource name="RAM" quantum="4M"/>
         <provides><service name="Framebuffer"/></provides>

append_if [have_spec sdl] config {
     <start name="fb_sdl" priority="-1">
         <resource name="RAM" quantum="4M"/>
             <service name="Input"/>
             <service name="Framebuffer"/>

append_if [have_spec x86] config {
     <start name="rtc_drv" priority="-1">
         <resource name="RAM" quantum="1M"/>
             <service name="Rtc"/>

append_if [expr $use_net] config {
     <start name="nic_drv" priority="-1">
         <resource name="RAM" quantum="4M"/>
         <provides><service name="Nic"/></provides>

append config {

     <start name="atapi_drv">
         <resource name="RAM" quantum="5M"/>
         <provides><service name="Block"/></provides>
         <config ata="yes"/>

     <start name="rump_fs" priority="-1">
         <resource name="RAM" quantum="32M" />
         <provides><service name="File_system"/></provides>
         <config fs="ext2fs"><policy label="" root="/" 

     <start name="virtualbox" priority="-2">
         <resource name="RAM" quantum="750M"/>
         <config vbox_file="w7.vbox" vm_name="w7">
             <libc stdout="/dev/log" stderr="/dev/log">
                     <dir name="dev"> <log/> </dir>

install_config $config

exec cp ${genode_dir}/repos/ports/run/test.vbox bin/.

set boot_modules { core init timer virtualbox }

# platform-specific modules
lappend_if [have_spec         ps2] boot_modules ps2_drv
lappend_if [have_spec        acpi] boot_modules acpi_drv
lappend_if [have_spec         pci] boot_modules pci_drv
lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if [have_spec       linux] boot_modules fb_sdl
lappend_if [have_spec        nova] boot_modules pci_device_pd
lappend_if [have_spec         x86] boot_modules rtc_drv

append boot_modules { rump_fs

append_if [expr $use_net] boot_modules { nic_drv }

build_boot_image $boot_modules

append qemu_args " -m 512 "
append qemu_args " -cpu phenom -boot order=d,  -hda /GV/QV.img "

run_genode_until forever
Am 23.02.2015 um 15:26 schrieb Christian Prochaska:

Regards, Adrian
> Hello Adrian,
> On 02/23/2015 12:29 PM, a3an wrote:
>> Hello Christian,
>> thanks.
>> I have added <fs/> to the vfs config section of virtualbox. But now the
>> system hangs and has to be canceled.
>> No messages from virtualbox either.
> Can you please send your complete run script?
> Regards,
> Christian
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> _______________________________________________
> genode-main mailing list
> genode-main at

More information about the users mailing list