2017-01-03 12:17:41 +00:00
|
|
|
# Tested for nova and muen.
|
|
|
|
if {(![have_spec nova] && ![have_spec muen])} {
|
2015-06-08 22:45:34 +00:00
|
|
|
puts "Platform is unsupported."
|
|
|
|
exit 0
|
|
|
|
}
|
|
|
|
|
2015-01-08 21:09:08 +00:00
|
|
|
if {[have_include "power_on/qemu"]} {
|
2014-09-23 11:01:47 +00:00
|
|
|
puts "\nRun script does not support Qemu.\n"
|
2015-01-08 21:09:08 +00:00
|
|
|
exit 0
|
2014-02-12 12:53:42 +00:00
|
|
|
}
|
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
if {[expr !$use_rumpfs && $use_vms > 1] } {
|
|
|
|
puts "\nConfiguration bug - have only one raw block partition.\n"
|
|
|
|
exit 1
|
|
|
|
}
|
|
|
|
|
2015-02-19 10:59:31 +00:00
|
|
|
set vdi_image "${flavor}.vdi"
|
2016-10-12 13:20:04 +00:00
|
|
|
set raw_image "${flavor}.vmdk"
|
2015-02-19 10:59:31 +00:00
|
|
|
set vbox_file "vm_${flavor}.vbox"
|
|
|
|
set overlay_image "overlay_${flavor}.vdi"
|
2014-02-12 12:53:42 +00:00
|
|
|
|
2015-03-30 16:00:43 +00:00
|
|
|
set build_components {
|
|
|
|
server/input_merger
|
|
|
|
drivers/nic
|
2015-06-03 12:39:01 +00:00
|
|
|
drivers/audio
|
2015-03-30 16:00:43 +00:00
|
|
|
server/nitpicker
|
|
|
|
app/vbox_pointer
|
|
|
|
server/nit_fb
|
|
|
|
server/report_rom
|
2016-10-12 13:20:04 +00:00
|
|
|
server/dynamic_rom
|
2015-03-30 16:00:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
set boot_modules {
|
|
|
|
input_merger
|
|
|
|
nic_drv
|
2015-06-03 12:39:01 +00:00
|
|
|
audio_drv
|
2015-03-30 16:00:43 +00:00
|
|
|
nitpicker
|
|
|
|
vbox_pointer
|
|
|
|
nit_fb
|
|
|
|
report_rom
|
2016-10-12 13:20:04 +00:00
|
|
|
dynamic_rom
|
2015-03-30 16:00:43 +00:00
|
|
|
}
|
2014-05-28 12:48:33 +00:00
|
|
|
|
2017-01-31 14:13:58 +00:00
|
|
|
set virtualbox_binary "virtualbox-rem"
|
|
|
|
set virtualbox5_binary "virtualbox5-rem"
|
|
|
|
|
2017-01-10 14:30:02 +00:00
|
|
|
if {[have_spec muen]} { set virtualbox_binary "virtualbox-muen" }
|
2017-01-31 14:13:58 +00:00
|
|
|
if {[have_spec nova]} {
|
|
|
|
set virtualbox_binary "virtualbox-nova"
|
|
|
|
set virtualbox5_binary "virtualbox5-nova"
|
|
|
|
}
|
2017-01-10 14:30:02 +00:00
|
|
|
|
2014-02-12 12:53:42 +00:00
|
|
|
set config_of_app {
|
2015-03-30 16:00:43 +00:00
|
|
|
|
|
|
|
<start name="input_merger">
|
|
|
|
<resource name="RAM" quantum="1M" />
|
|
|
|
<provides>
|
|
|
|
<service name="Input" />
|
|
|
|
</provides>
|
|
|
|
<config>}
|
|
|
|
append_if [expr $use_ps2] config_of_app {
|
|
|
|
<input label="ps2" /> }
|
|
|
|
append_if [expr $use_usb] config_of_app {
|
|
|
|
<input label="usb_hid" />}
|
|
|
|
append config_of_app {
|
|
|
|
</config>
|
|
|
|
<route> }
|
|
|
|
append_if [expr $use_ps2] config_of_app {
|
2017-01-18 16:10:07 +00:00
|
|
|
<service name="Input" label="ps2"> <child name="ps2_drv" /> </service> }
|
2015-03-30 16:00:43 +00:00
|
|
|
append_if [expr $use_usb] config_of_app {
|
2017-01-18 16:10:07 +00:00
|
|
|
<service name="Input" label="usb_hid"> <child name="usb_drv" /> </service> }
|
2015-03-30 16:00:43 +00:00
|
|
|
append config_of_app {
|
|
|
|
<any-service> <parent /> <any-child /> </any-service>
|
|
|
|
</route>
|
|
|
|
</start>
|
|
|
|
|
|
|
|
<!--
|
|
|
|
Note: to get network access in the VM, the virtual network adapter
|
|
|
|
needs to be enabled in the .vbox file (disabled by default)
|
|
|
|
-->
|
|
|
|
<start name="nic_drv" priority="-1">
|
|
|
|
<resource name="RAM" quantum="8M" />
|
|
|
|
<provides>
|
|
|
|
<service name="Nic" />
|
|
|
|
</provides>
|
|
|
|
</start>
|
|
|
|
|
2015-06-03 12:39:01 +00:00
|
|
|
<!--
|
|
|
|
Note: to use audio in the VM, the virtual audio adapter
|
|
|
|
needs to be enabled in the .vbox file (disabled by default).
|
|
|
|
(Recording is configured to use the external mic.)
|
|
|
|
-->
|
2016-04-21 12:24:16 +00:00
|
|
|
<start name="audio_drv" priority="-1">
|
2015-11-16 13:04:04 +00:00
|
|
|
<resource name="RAM" quantum="9M"/>
|
2015-06-03 12:39:01 +00:00
|
|
|
<provides>
|
|
|
|
<service name="Audio_out"/>
|
|
|
|
<service name="Audio_in"/>
|
|
|
|
</provides>
|
|
|
|
<config recording="yes">
|
|
|
|
<mixer field="outputs.master" value="255"/>
|
|
|
|
<mixer field="record.adc-0:1_source" value="sel2"/>
|
|
|
|
<mixer field="record.adc-0:1" value="255"/>
|
|
|
|
</config>
|
|
|
|
</start>
|
|
|
|
|
2015-03-30 16:00:43 +00:00
|
|
|
<start name="report_rom">
|
2016-12-09 15:47:11 +00:00
|
|
|
<resource name="RAM" quantum="2M"/>
|
2015-03-30 16:00:43 +00:00
|
|
|
<provides> <service name="Report"/> <service name="ROM"/> </provides>
|
|
|
|
<config>
|
2016-10-12 13:20:04 +00:00
|
|
|
<policy label="vbox_pointer -> hover" report="nitpicker -> hover"/>
|
2016-10-19 12:52:59 +00:00
|
|
|
<policy label="vbox_pointer -> xray" report="nitpicker -> xray"/>}
|
|
|
|
|
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
|
|
|
<policy label=\"vbox_pointer -> shape$i\" report=\"vbox$i -> shape\"/>"
|
|
|
|
}
|
|
|
|
|
|
|
|
append config_of_app {
|
2016-10-12 13:20:04 +00:00
|
|
|
<policy label="usb_report_filter -> devices" report="usb_drv -> devices"/>
|
|
|
|
<policy label="usb_report_filter -> usb_drv_config" report="usb_drv -> config"/>
|
2016-10-19 12:52:59 +00:00
|
|
|
<policy label="vbox1 -> usb_devices" report="usb_report_filter -> usb_devices"/>}
|
|
|
|
append_if [expr $use_cpu_load] config_of_app {
|
|
|
|
<policy label="cpu_load_display -> trace_subjects"
|
|
|
|
report="trace_subject_reporter -> trace_subjects"/>}
|
|
|
|
append config_of_app {
|
2015-03-30 16:00:43 +00:00
|
|
|
</config>
|
|
|
|
</start>
|
|
|
|
|
|
|
|
<start name="nitpicker" priority="-1">
|
2017-03-30 11:16:05 +00:00
|
|
|
<resource name="RAM" quantum="12M"/>
|
2015-03-30 16:00:43 +00:00
|
|
|
<provides><service name="Nitpicker"/></provides>
|
|
|
|
<route>
|
|
|
|
<service name="Framebuffer"> <child name="fb_drv" /> </service>
|
|
|
|
<service name="Input"> <child name="input_merger" /> </service>
|
2015-05-26 18:12:17 +00:00
|
|
|
<service name="Report"> <child name="report_rom" /> </service>
|
2015-03-30 16:00:43 +00:00
|
|
|
<any-service> <parent/> <any-child /> </any-service>
|
|
|
|
</route>
|
|
|
|
<config>
|
|
|
|
<report focus="yes" hover="yes" xray="yes" />
|
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
|
|
|
|
<domain name="cpu_load" layer="2" content="client" label="no" />
|
|
|
|
<domain name="" layer="3" content="client" focus="click" hover="always" />
|
2015-03-30 16:00:43 +00:00
|
|
|
|
2016-11-24 14:28:32 +00:00
|
|
|
<policy label_prefix="vbox_pointer" domain="pointer"/>
|
|
|
|
<policy label_prefix="cpu_load_display" domain="cpu_load"/>
|
2016-03-09 14:32:23 +00:00
|
|
|
<default-policy domain=""/>
|
2015-03-30 16:00:43 +00:00
|
|
|
</config>
|
|
|
|
</start>
|
|
|
|
|
|
|
|
<start name="vbox_pointer" priority="-1">
|
2017-03-16 16:12:20 +00:00
|
|
|
<resource name="RAM" quantum="2M"/>
|
2016-10-19 12:52:59 +00:00
|
|
|
<config>}
|
|
|
|
|
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
2016-12-09 15:47:11 +00:00
|
|
|
<policy label=\"nit_fb$i\" rom=\"shape$i\"/>"
|
2016-10-19 12:52:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
append config_of_app {
|
2015-12-08 12:09:02 +00:00
|
|
|
</config>
|
2015-03-30 16:00:43 +00:00
|
|
|
<route>
|
2017-01-18 16:10:07 +00:00
|
|
|
<service name="Nitpicker"> <child name="nitpicker"/> </service>}
|
|
|
|
|
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
|
|
|
<service name=\"ROM\" label=\"shape$i\"> <child name=\"report_rom\"/> </service>"
|
|
|
|
}
|
|
|
|
|
|
|
|
append config_of_app {
|
|
|
|
<service name="ROM" label="hover"> <child name="report_rom"/> </service>
|
|
|
|
<service name="ROM" label="xray"> <child name="report_rom"/> </service>
|
|
|
|
<any-service> <parent/> </any-service>
|
2015-03-30 16:00:43 +00:00
|
|
|
</route>
|
2016-10-19 12:52:59 +00:00
|
|
|
</start>}
|
2015-03-30 16:00:43 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
|
|
|
<start name=\"nit_fb${i}\" priority=\"-1\">"
|
|
|
|
append config_of_app {
|
|
|
|
<binary name="nit_fb"/>
|
2015-03-30 16:00:43 +00:00
|
|
|
<resource name="RAM" quantum="8M" />
|
|
|
|
<provides>
|
|
|
|
<service name="Framebuffer" />
|
|
|
|
<service name="Input" />
|
2016-10-19 12:52:59 +00:00
|
|
|
</provides>}
|
|
|
|
|
|
|
|
append config_of_app "
|
|
|
|
<configfile name=\"nit_fb${i}.config\"/>"
|
|
|
|
|
|
|
|
append config_of_app {
|
|
|
|
<route>}
|
|
|
|
|
|
|
|
append config_of_app "
|
|
|
|
<service name=\"ROM\" label=\"nit_fb${i}.config\"> <child name=\"nit_fb-config\"/> </service>"
|
|
|
|
|
|
|
|
append config_of_app {
|
2016-10-12 13:20:04 +00:00
|
|
|
<service name="Nitpicker"> <child name="nitpicker"/> </service>
|
2017-01-18 16:10:07 +00:00
|
|
|
<any-service> <parent /> </any-service>
|
2016-10-12 13:20:04 +00:00
|
|
|
</route>
|
2016-10-19 12:52:59 +00:00
|
|
|
</start>}
|
|
|
|
}
|
2016-10-12 13:20:04 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append config_of_app {
|
2016-10-12 13:20:04 +00:00
|
|
|
<start name="nit_fb-config" priority="-1">
|
|
|
|
<binary name="dynamic_rom"/>
|
|
|
|
<resource name="RAM" quantum="1M"/>
|
|
|
|
<provides> <service name="ROM"/> </provides>
|
2016-10-19 12:52:59 +00:00
|
|
|
<config>}
|
|
|
|
|
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
|
|
|
<rom name=\"nit_fb${i}.config\">"
|
|
|
|
|
|
|
|
append config_of_app {
|
|
|
|
<inline description="standard">}
|
|
|
|
|
|
|
|
if { $use_vms > 1 } {
|
|
|
|
append config_of_app "
|
|
|
|
<config xpos=\"[expr ${i} * 50]\" ypos=\"[expr (${i} - 1) * 5 + 2]\" width=\"1024\" height=\"768\"/>"
|
|
|
|
} else {
|
|
|
|
append config_of_app {
|
|
|
|
<config/>}
|
|
|
|
}
|
|
|
|
|
|
|
|
append config_of_app {
|
2016-10-12 13:20:04 +00:00
|
|
|
</inline>
|
2016-10-19 12:52:59 +00:00
|
|
|
<sleep milliseconds="50000" />}
|
2016-10-12 13:20:04 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr !$use_rumpfs] config_of_app {
|
2016-10-12 13:20:04 +00:00
|
|
|
<inline description="shutdown">
|
|
|
|
<config width="0" height="0"/>
|
|
|
|
</inline>
|
2016-10-19 12:52:59 +00:00
|
|
|
<sleep milliseconds="500000" />}
|
|
|
|
|
|
|
|
append config_of_app {
|
|
|
|
</rom>}
|
|
|
|
}
|
2016-10-12 13:20:04 +00:00
|
|
|
|
|
|
|
append config_of_app {
|
|
|
|
</config>
|
|
|
|
<route>
|
2016-10-19 12:52:59 +00:00
|
|
|
<service name="Timer"> <child name="timer"/> </service>
|
2017-01-18 16:10:07 +00:00
|
|
|
<any-service> <parent /> </any-service>
|
2016-10-12 13:20:04 +00:00
|
|
|
</route>
|
2016-10-19 12:52:59 +00:00
|
|
|
</start>}
|
2015-03-30 16:00:43 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
for { set i 1} { $i <= $use_vms } { incr i} {
|
|
|
|
append config_of_app "
|
2017-05-07 20:36:11 +00:00
|
|
|
<start name=\"vbox${i}\" priority=\"-2\" caps=\"600\">"
|
2017-01-10 14:30:02 +00:00
|
|
|
append_if [expr $use_vbox4] config_of_app "
|
|
|
|
<binary name=\"$virtualbox_binary\" />"
|
2017-01-31 14:13:58 +00:00
|
|
|
append_if [expr $use_vbox5] config_of_app "
|
|
|
|
<binary name=\"$virtualbox5_binary\" />"
|
2016-08-15 10:27:54 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append config_of_app {
|
2017-06-22 14:33:53 +00:00
|
|
|
<resource name="RAM" quantum="} $vm_ram {"/>}
|
2016-10-19 12:52:59 +00:00
|
|
|
if { $use_vms eq 1 } {
|
|
|
|
append config_of_app "
|
|
|
|
<config ld_verbose=\"yes\" vbox_file=\"${vbox_file}\" vm_name=\"${flavor}\" xhci=\"yes\">"
|
|
|
|
} else {
|
|
|
|
append config_of_app "
|
|
|
|
<affinity xpos=\"[expr $i]\" width=\"2\" />
|
|
|
|
<config ld_verbose=\"yes\" vbox_file=\"${vbox_file}\" vm_name=\"${flavor}\" xhci=\"no\">"
|
|
|
|
}
|
|
|
|
append config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
|
|
|
|
<vfs>
|
|
|
|
<dir name="dev">
|
|
|
|
<log/> <rtc/>}
|
2016-10-12 13:20:04 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr !$use_rumpfs] config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
<block name="sda3" label="raw" block_buffer_count="128" />}
|
2016-10-19 12:52:59 +00:00
|
|
|
append config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
</dir>}
|
2014-02-12 12:53:42 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr $use_ram_fs] config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
<dir name="ram"> <fs label="from_ram_fs"/> </dir>}
|
2014-02-12 12:53:42 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append config_of_app "
|
2017-01-05 12:45:37 +00:00
|
|
|
<rom name=\"${vbox_file}\"/>"
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr !$use_rumpfs] config_of_app "
|
2017-01-05 12:45:37 +00:00
|
|
|
<rom name=\"${raw_image}\"/>"
|
2016-10-12 13:20:04 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr $use_rumpfs || $use_ram_fs] config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
<fs />}
|
2016-10-12 13:20:04 +00:00
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append config_of_app {
|
2017-01-05 12:45:37 +00:00
|
|
|
</vfs>
|
2014-02-12 12:53:42 +00:00
|
|
|
</config>
|
2014-09-23 11:01:47 +00:00
|
|
|
<route>}
|
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
append_if [expr $use_ram_fs] config_of_app {
|
|
|
|
<service name="File_system" label="from_ram_fs"> <child name="ram_fs"/> </service>}
|
|
|
|
|
|
|
|
append_if [expr $use_rumpfs] config_of_app {
|
|
|
|
<service name="File_system"> <child name="rump_fs"/> </service>}
|
|
|
|
append_if [expr !$use_rumpfs] config_of_app {
|
|
|
|
<service name="Block"> <child name="part_blk"/> </service>}
|
|
|
|
append config_of_app "
|
|
|
|
<service name=\"Framebuffer\"> <child name=\"nit_fb${i}\" /> </service>
|
|
|
|
<service name=\"Input\"> <child name=\"nit_fb${i}\" /> </service>"
|
|
|
|
append config_of_app {
|
2015-05-26 18:12:17 +00:00
|
|
|
<service name="Report"><child name="report_rom" /></service>
|
2017-01-18 16:10:07 +00:00
|
|
|
<service name="ROM" label="usb_devices"> <child name="report_rom" /> </service>
|
2014-02-12 12:53:42 +00:00
|
|
|
<any-service> <parent/> <any-child /> </any-service>
|
|
|
|
</route>
|
2016-10-19 12:52:59 +00:00
|
|
|
</start>}
|
2014-02-12 12:53:42 +00:00
|
|
|
}
|
|
|
|
|
2014-05-07 09:48:19 +00:00
|
|
|
source ${genode_dir}/repos/ports/run/virtualbox_auto.inc
|
2014-02-12 12:53:42 +00:00
|
|
|
|
2014-09-23 11:01:47 +00:00
|
|
|
# copy vbox configuration to bin directory
|
2015-02-19 10:59:31 +00:00
|
|
|
exec cp ${genode_dir}/repos/ports/run/${vbox_file} bin/.
|
|
|
|
|
2016-10-12 13:20:04 +00:00
|
|
|
if {!$use_rumpfs} {
|
|
|
|
exec cp ${genode_dir}/repos/ports/run/${raw_image} bin/.
|
|
|
|
}
|
|
|
|
|
2015-02-19 10:59:31 +00:00
|
|
|
append boot_modules " ${vbox_file} "
|
2016-10-12 13:20:04 +00:00
|
|
|
append_if [expr !$use_rumpfs] boot_modules " ${raw_image} "
|
2014-09-23 11:01:47 +00:00
|
|
|
|
|
|
|
build_boot_image $boot_modules
|
|
|
|
|
2016-10-19 12:52:59 +00:00
|
|
|
run_genode_until {\[init -\> vbox.*].*Guest Additions capability report:.*seamless: no, hostWindowMapping: no, graphics: no} 70
|
|
|
|
# run_genode_until forever 0 [output_spawn_id]
|
|
|
|
|
2016-10-12 13:20:04 +00:00
|
|
|
if {$use_rumpfs} {
|
2016-10-19 12:52:59 +00:00
|
|
|
set wait_timeout 170
|
|
|
|
for { set i 1 } { $i <= $use_vms } { incr i } {
|
2017-05-16 09:08:34 +00:00
|
|
|
if { [string match "ubuntu*" $flavor] } {
|
|
|
|
run_genode_until {\[init -\> vbox.*].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: no} $wait_timeout [output_spawn_id]
|
|
|
|
} else {
|
|
|
|
run_genode_until {\[init -\> vbox.*].*Guest Additions capability report:.*seamless: yes, hostWindowMapping: no, graphics: yes} $wait_timeout [output_spawn_id]
|
|
|
|
}
|
2016-10-19 12:52:59 +00:00
|
|
|
}
|
2016-10-12 13:20:04 +00:00
|
|
|
} else {
|
2016-10-19 12:52:59 +00:00
|
|
|
run_genode_until {\[init\] child "vbox1" exited with exit value 0} 60 [output_spawn_id]
|
2016-10-12 13:20:04 +00:00
|
|
|
# give block driver bit time to write data to disk
|
|
|
|
sleep 5
|
|
|
|
}
|
2014-02-12 12:53:42 +00:00
|
|
|
|
2014-09-23 11:01:47 +00:00
|
|
|
# cleanup bin directory - remove vbox file
|
2015-02-19 10:59:31 +00:00
|
|
|
exec rm bin/${vbox_file}
|
2016-10-12 13:20:04 +00:00
|
|
|
if {!$use_rumpfs} {
|
|
|
|
exec rm bin/${raw_image}
|
|
|
|
}
|