02d5efcf3f
The init component used to create the CPU/RAM/PD/ROM sessions (the child environment) for its children by issuing session requests to its parent, which is typically core. This policy was hard-wired. This patch enables the routing of the environment sessions of the children of init according to the configured routing policy. Because there is no hard-wired policy regarding the environment sessions anymore, routes to respective services must be explicitly declared in the init configuration. For this reason, the patch adjusts several run scripts in this respect. This patch removes the outdated '<if-args>' special handling of session labels. The '<if-args>' feature will eventually be removed completely (ref #2250) Issue #2197 Issue #2215 Issue #2233 Issue #2250
469 lines
13 KiB
PHP
469 lines
13 KiB
PHP
#
|
|
# \brief Using Vancouver/Seoul on Genode
|
|
# \author Norman Feske
|
|
# \author Markus Partheymueller
|
|
# \author Alexander Boettcher
|
|
# \date 2011-11-21
|
|
|
|
#
|
|
# Build
|
|
#
|
|
|
|
if {![have_spec nova]} {
|
|
puts "\nSeoul is solely supported on NOVA.\n"
|
|
exit 0
|
|
}
|
|
|
|
assert_spec acpi
|
|
|
|
source ${genode_dir}/repos/base/run/platform_drv.inc
|
|
# override defaults of platform_drv.inc
|
|
proc platform_drv_priority {} { return { priority="-1"} }
|
|
|
|
set build_components {
|
|
core init
|
|
drivers/timer
|
|
drivers/rtc
|
|
drivers/input
|
|
app/seoul
|
|
}
|
|
|
|
if {$use_fancy_stuff} { set use_framebuffer 1 }
|
|
|
|
lappend_if $use_usb build_components drivers/usb
|
|
lappend_if $use_block_ram build_components server/ram_blk
|
|
lappend_if $use_block_sata build_components drivers/ahci
|
|
lappend_if $use_nic_session build_components drivers/nic
|
|
lappend_if $use_nic_bridge build_components server/nic_bridge
|
|
lappend_if $use_framebuffer build_components drivers/framebuffer
|
|
lappend_if $use_fancy_stuff build_components server/nitpicker
|
|
lappend_if $use_fancy_stuff build_components app/pointer
|
|
lappend_if $use_fancy_stuff build_components app/status_bar
|
|
lappend_if $use_fancy_stuff build_components server/liquid_framebuffer
|
|
lappend_if $use_fancy_stuff build_components app/launchpad
|
|
lappend_if $use_fancy_stuff build_components server/nitlog
|
|
lappend_if $use_fancy_stuff build_components server/report_rom
|
|
lappend_if $use_genode_iso build_components server/iso9660
|
|
lappend_if $use_genode_iso build_components server/rom_blk
|
|
|
|
append_platform_drv_build_components
|
|
|
|
build $build_components
|
|
|
|
# write Seoul config file
|
|
set vm_cfg_fd [open "bin/vm_seoul.cfg" w]
|
|
puts $vm_cfg_fd {<config colocate="1" >
|
|
<machine>
|
|
<mem start="0x0" end="0x9a000"/>
|
|
<mem start="0x100000" end="0xfffff000"/>
|
|
<!--<ioio/>-->
|
|
<nullio io_base="0x80" />
|
|
<pic io_base="0x20" elcr_base="0x4d0"/>
|
|
<pic io_base="0xa0" irq="2" elcr_base="0x4d1"/>
|
|
<pit io_base="0x40" irq="0"/>
|
|
<scp io_port_a="0x92" io_port_b="0x61"/>
|
|
<kbc io_base="0x60" irq_kbd="1" irq_aux="12"/>
|
|
<keyb ps2_port="0" host_keyboard="0x10000"/>
|
|
<mouse ps2_port="1" host_mouse="0x10001"/>
|
|
<rtc io_base="0x70" irq="8"/>
|
|
<serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/>
|
|
<hostsink host_dev="0x4712" buffer="80"/>
|
|
<vga io_base="0x03c0" fb_size="4096" readonly="1"/>}
|
|
|
|
if {!$use_multiboot} {
|
|
puts $vm_cfg_fd {
|
|
<vbios_disk/>
|
|
}
|
|
}
|
|
|
|
puts $vm_cfg_fd {
|
|
<vbios_keyboard host_keyboard="0x10000"/>
|
|
<vbios_mem/>
|
|
<vbios_time/>
|
|
<vbios_reset/>}
|
|
|
|
if {$use_multiboot} {
|
|
if {[info exists use_multiboot_modaddr]} {
|
|
puts $vm_cfg_fd " <vbios_multiboot modaddr=\"$use_multiboot_modaddr\"/>"
|
|
} else {
|
|
puts $vm_cfg_fd { <vbios_multiboot/>}
|
|
}
|
|
}
|
|
|
|
puts $vm_cfg_fd {
|
|
<msi/>
|
|
<ioapic/>
|
|
<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
|
|
mem_base="0xe0000000"/>
|
|
<pmtimer io_port="0x8000"/>}
|
|
|
|
for {set i 0} {$i < $vcpus_to_be_used} {incr i 1} {
|
|
puts $vm_cfg_fd {
|
|
<vcpu/> <halifax/> <vbios/> <lapic/>}
|
|
}
|
|
|
|
if {!$use_multiboot} {
|
|
|
|
if {$use_model_ahci} {
|
|
puts $vm_cfg_fd {
|
|
<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
|
|
<drive sigma0drive="0" controller="0" port="0"/>
|
|
}
|
|
}
|
|
if {$use_model_ide} {
|
|
puts $vm_cfg_fd {
|
|
<ide port0="0x1f0" port1="0x3f6" irq="14" bdf="0x38" disk="0"/>
|
|
}
|
|
}
|
|
}
|
|
|
|
if {$use_nic_session} {
|
|
puts $vm_cfg_fd {
|
|
<intel82576vf/>
|
|
}
|
|
}
|
|
|
|
puts $vm_cfg_fd {
|
|
</machine>
|
|
<multiboot>}
|
|
|
|
if {$use_multiboot} {
|
|
puts $vm_cfg_fd $multiboot_files
|
|
}
|
|
|
|
puts $vm_cfg_fd {
|
|
</multiboot>
|
|
</config>}
|
|
close $vm_cfg_fd
|
|
|
|
create_boot_directory
|
|
|
|
#
|
|
# Generate Genode config
|
|
#
|
|
|
|
append config {
|
|
<config verbose="yes" prio_levels="4">
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="IO_PORT"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
</parent-provides>
|
|
<default-route>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
|
|
<start name="rtc_drv" priority="-1">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Rtc"/></provides>
|
|
</start>}
|
|
|
|
append_if [expr !$use_usb] config {
|
|
<start name="ps2_drv" priority="-1">
|
|
<resource name="RAM" quantum="3M"/>
|
|
<provides><service name="Input"/></provides>
|
|
<route> <any-service><parent/> <any-child/> </any-service> </route>
|
|
</start> }
|
|
|
|
append_if $use_block_sata config {
|
|
<start name="ahci_drv" priority="-1">
|
|
<resource name="RAM" quantum="1M" />
|
|
<provides><service name="Block"/></provides>
|
|
<config>
|
|
<policy label="seoul -> VirtualDisk 0" device="0" />
|
|
</config>
|
|
</start>}
|
|
|
|
append_if $use_block_ram config {
|
|
<start name="ram_blk" priority="-1">
|
|
<resource name="RAM" quantum="1M" />
|
|
<provides><service name="Block"/></provides>
|
|
<config file="seoul-disc.raw" block_size="512"/>
|
|
</start>}
|
|
|
|
append_if $use_genode_iso config {
|
|
<start name="rom_blk" priority="-1">
|
|
<resource name="RAM" quantum="16M" />
|
|
<provides><service name="Block"/></provides>
|
|
<config file="genode.iso" block_size="2048"/>
|
|
</start>
|
|
|
|
<start name="iso9660" priority="-1">
|
|
<resource name="RAM" quantum="16M"/>
|
|
<provides><service name="ROM"/></provides>
|
|
<route>
|
|
<service name="Block"><child name="rom_blk"/></service>
|
|
<any-service><parent/></any-service>
|
|
</route>
|
|
</start>}
|
|
|
|
append_platform_drv_config
|
|
|
|
append_if $use_nic_session config {
|
|
<start name="nic_drv" priority="-2">
|
|
<resource name="RAM" quantum="8M"/>
|
|
<provides><service name="Nic"/></provides>
|
|
</start>
|
|
}
|
|
|
|
append_if [expr $use_nic_session && $use_nic_bridge] config {
|
|
<start name="nic_bridge" priority="-3">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Nic"/></provides>
|
|
<config/>
|
|
<route>
|
|
<service name="Nic"><child name="nic_drv"/></service>
|
|
<any-service><parent/></any-service>
|
|
</route>
|
|
</start>
|
|
}
|
|
|
|
append_if $use_framebuffer config {
|
|
<start name="fb_drv" priority="-1">
|
|
<resource name="RAM" quantum="8M"/>
|
|
<provides><service name="Framebuffer"/></provides>
|
|
<route>
|
|
<service name="Timer"><child name="timer"/></service>
|
|
<service name="Platform"><any-child/></service>
|
|
<any-service><parent/></any-service>
|
|
</route>
|
|
<config width="1024" height="768" depth="16" buffered="yes"/>
|
|
</start> }
|
|
|
|
if {!$use_fancy_stuff} {
|
|
append config {
|
|
<start name="seoul" priority="-3">
|
|
<binary name="seoul"/>}
|
|
append config "
|
|
<resource name=\"RAM\" quantum=\"$memory_vmm_vm\"/>"
|
|
append config {
|
|
<route>
|
|
<service name="Timer"><child name="timer"/></service>}
|
|
append_if [expr $use_nic_session && $use_nic_bridge] config {
|
|
<service name="Nic"> <child name="nic_bridge"/> </service>}
|
|
append_if [expr $use_nic_session && !$use_nic_bridge] config {
|
|
<service name="Nic"> <child name="nic_drv"/> </service>}
|
|
append_if $use_framebuffer config {
|
|
<service name="Framebuffer"><child name="fb_drv"/></service>}
|
|
append_if $use_genode_iso config {
|
|
<service name="ROM" label="vm_seoul.cfg">
|
|
<parent/> </service>
|
|
<service name="ROM" label="hypervisor_info_page">
|
|
<parent/> </service>
|
|
<service name="ROM"><child name="iso9660"/></service>}
|
|
append config {
|
|
<service name="Rtc"><child name="rtc_drv"/></service>
|
|
<any-service><parent/><any-child/></any-service>
|
|
</route>
|
|
<configfile name="vm_seoul.cfg"/>
|
|
</start> }
|
|
}
|
|
|
|
append_if $use_usb config {
|
|
<start name="usb_drv" priority="-1">
|
|
<resource name="RAM" quantum="7M"/>
|
|
<provides><service name="Input"/></provides>
|
|
<config uhci="yes" ehci="yes" xhci="yes">
|
|
<hid/>
|
|
</config>
|
|
</start>}
|
|
|
|
append_if $use_fancy_stuff config {
|
|
<start name="nitpicker" priority="-1">
|
|
<resource name="RAM" quantum="8M"/>
|
|
<config>
|
|
<report focus="yes" />
|
|
<domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
|
|
<domain name="panel" layer="2" content="client" label="no" focus="none" />
|
|
<domain name="" layer="3" content="client" focus="click"
|
|
hover="always" ypos="18" height="-18" />
|
|
<policy label_prefix="pointer" domain="pointer"/>
|
|
<policy label_prefix="status_bar" domain="panel"/>
|
|
<default-policy domain=""/>
|
|
</config>
|
|
<route>
|
|
<service name="Timer"> <child name="timer"/></service>
|
|
<service name="Framebuffer"><child name="fb_drv"/></service>
|
|
<service name="Report"> <child name="report_rom"/></service>
|
|
<any-service><parent/><any-child/></any-service>
|
|
</route>
|
|
<provides><service name="Nitpicker"/></provides>
|
|
</start>
|
|
<start name="pointer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
</start>
|
|
<start name="status_bar">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<route>
|
|
<service name="ROM"> <child name="report_rom"/> </service>
|
|
<any-service> <parent/> <any-child/> </any-service>
|
|
</route>
|
|
</start>
|
|
<start name="report_rom">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides> <service name="Report"/> <service name="ROM"/> </provides>
|
|
<config>
|
|
<policy label="status_bar -> focus" report="nitpicker -> focus"/>
|
|
</config>
|
|
</start>
|
|
<start name="launchpad" priority="-2">
|
|
<resource name="RAM" quantum="64000M"/>
|
|
<configfile name="launchpad-config"/>
|
|
<route>
|
|
<service name="Nic"><child name="nic_bridge"/></service>
|
|
<any-service><parent/><any-child/></any-service>
|
|
</route>
|
|
</start>}
|
|
|
|
append config {
|
|
</config>}
|
|
|
|
#
|
|
# Generate Launchpad config file
|
|
#
|
|
if {$use_fancy_stuff} {
|
|
set launchpad_cfg_fd [open "bin/launchpad-config" w]
|
|
|
|
puts $launchpad_cfg_fd "<config>
|
|
<launcher ram_quota=\"$memory_init\" name=\"init\">"
|
|
|
|
puts $launchpad_cfg_fd {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="ROM"/>
|
|
<service name="RAM"/>
|
|
<service name="IRQ"/>
|
|
<service name="IO_MEM"/>
|
|
<service name="IO_PORT"/>
|
|
<service name="PD"/>
|
|
<service name="RM"/>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="Nitpicker"/>
|
|
<service name="Timer"/>
|
|
<service name="Nic"/>
|
|
<service name="Block"/>
|
|
<service name="Rtc"/>
|
|
</parent-provides>
|
|
|
|
<start name="fb.seoul" priority="-1">
|
|
<binary name="liquid_fb"/>
|
|
<resource name="RAM" quantum="16M"/>
|
|
<provides>
|
|
<service name="Framebuffer"/>
|
|
<service name="Input"/>
|
|
</provides>
|
|
<route>
|
|
<any-service><parent/></any-service>
|
|
</route>
|
|
<config xpos="10" ypos="10" width="800" height="600" animate="off"/>
|
|
</start>
|
|
|
|
<start name="seoul" priority="-1">
|
|
<binary name="seoul"/>
|
|
<resource name="RAM" quantum="256M"/>
|
|
<route>
|
|
<service name="Timer"><parent/></service>
|
|
<service name="Nic"><parent/></service>
|
|
<service name="Input"><child name="fb.seoul"/></service>
|
|
<service name="Framebuffer"><child name="fb.seoul"/></service>
|
|
<any-service><parent/></any-service>
|
|
</route>
|
|
<configfile name="vm_seoul.cfg"/>
|
|
</start>
|
|
</config>
|
|
</launcher>}
|
|
puts $launchpad_cfg_fd {</config>}
|
|
close $launchpad_cfg_fd
|
|
}
|
|
|
|
install_config $config
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
|
|
# generic modules
|
|
set boot_modules {
|
|
core ld.lib.so init
|
|
timer
|
|
rtc_drv
|
|
seoul
|
|
vm_seoul.cfg
|
|
}
|
|
|
|
lappend_if [expr !$use_usb] boot_modules ps2_drv
|
|
lappend_if $use_usb boot_modules usb_drv
|
|
lappend_if $use_block_ram boot_modules ram_blk
|
|
lappend_if $use_block_sata boot_modules ahci_drv
|
|
lappend_if $use_nic_session boot_modules nic_drv
|
|
lappend_if $use_nic_bridge boot_modules nic_bridge
|
|
lappend_if $use_framebuffer boot_modules fb_drv
|
|
|
|
lappend_if $use_fancy_stuff boot_modules nitpicker
|
|
lappend_if $use_fancy_stuff boot_modules pointer
|
|
lappend_if $use_fancy_stuff boot_modules status_bar
|
|
lappend_if $use_fancy_stuff boot_modules liquid_fb
|
|
lappend_if $use_fancy_stuff boot_modules launchpad
|
|
lappend_if $use_fancy_stuff boot_modules nitlog
|
|
lappend_if $use_fancy_stuff boot_modules launchpad-config
|
|
lappend_if $use_fancy_stuff boot_modules report_rom
|
|
|
|
lappend_if $use_genode_iso boot_modules rom_blk
|
|
lappend_if $use_genode_iso boot_modules iso9660
|
|
lappend_if $use_genode_iso boot_modules genode.iso
|
|
|
|
lappend_if $use_block_ram boot_modules seoul-disc.raw
|
|
|
|
#
|
|
# Add OS binaries of guest
|
|
#
|
|
|
|
if {$use_multiboot} {
|
|
set guest_os_binary_missing 0
|
|
set binary_counter 0
|
|
foreach binary $guest_os_binaries {
|
|
if {![file exists bin/$binary]} {
|
|
puts stderr "Error: guest OS binary \"bin/$binary\" does not exist"
|
|
set guest_os_binary_missing 1
|
|
}
|
|
|
|
if {[info exists sha1_os_binaries]} {
|
|
set sha1 [exec sha1sum bin/$binary]
|
|
set sha1 [regexp -inline {[0-9a-h]+} $sha1]
|
|
if {[string compare $sha1 [lindex $sha1_os_binaries $binary_counter]]} {
|
|
puts "SHA1 sum of binary does not match with expected one - abort"
|
|
puts "$binary $sha1 != [lindex $sha1_os_binaries $binary_counter]"
|
|
set guest_os_binary_missing 1
|
|
}
|
|
}
|
|
incr binary_counter 1
|
|
}
|
|
|
|
if {$guest_os_binary_missing} { exit 1 }
|
|
|
|
append boot_modules $guest_os_binaries
|
|
}
|
|
|
|
if {$use_usb} {
|
|
append qemu_args " -usb -usbdevice mouse -usbdevice keyboard "
|
|
}
|
|
|
|
append_platform_drv_boot_modules
|
|
|
|
build_boot_image $boot_modules
|
|
|
|
# A copy of the config is placed in the run folder.
|
|
exec rm -f bin/vm_seoul.cfg
|