Virtualbox + rump_fs + qemu

[a3an]

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:

  https://github.com/cnuke/genode/commit/5ba470b6b
and another patch to provide sync() support to rump_fs.


set use_net 0

set build_components {
     core init virtualbox
     drivers/input
     drivers/framebuffer
     drivers/timer
     server/rump_fs
     test/libc_vfs
     drivers/atapi
}

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

create_boot_directory

set config {
<config prio_levels="4">
     <parent-provides>
         <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"/>
     </parent-provides>
     <default-route>
         <any-service> <any-child/> <parent/> </any-service>
     </default-route>
     <start name="timer">
         <resource name="RAM" quantum="1M"/>
         <provides><service name="Timer"/></provides>
     </start>}

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

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>
     </start>}

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

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

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

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

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

append config {

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

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


     <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">
                 <vfs>
                     <dir name="dev"> <log/> </dir>
                     <fs/>
                 </vfs>
             </libc>
         </config>
     </start>
</config>
}

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 {
     ld.lib.so libc.lib.so libm.lib.so pthread.lib.so libc_lock_pipe.lib.so
     libc_terminal.lib.so libiconv.lib.so stdcxx.lib.so
     rump.lib.so rump_fs.lib.so rump_fs
     atapi_drv
}

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
> http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main