vancouver: run script for booting Linux VMs
The setup now uses nitpicker and nit_fb to display several instances of vancouver. The guest OS binaries must be supplied in the '<build-dir>/bin' directory manually. Furthermore, the patch lets launchpad pass Block, Nic, and Rtc to the parent.
This commit is contained in:
Markus Partheymueller
Norman Feske
parent
3a533779e4
commit
47cc2f8590
|
|
@ -1,11 +1,13 @@
|
|||
/*
|
||||
* \brief Launchpad child management
|
||||
* \author Norman Feske
|
||||
* \author Markus Partheymueller
|
||||
* \date 2006-09-01
|
||||
*/
|
||||
|
||||
/*
|
||||
* Copyright (C) 2006-2013 Genode Labs GmbH
|
||||
* Copyright (C) 2012 Intel Corporation
|
||||
*
|
||||
* This file is part of the Genode OS framework, which is distributed
|
||||
* under the terms of the GNU General Public License version 2.
|
||||
|
|
@ -43,8 +45,8 @@ Launchpad::Launchpad(unsigned long initial_quota)
|
|||
"IRQ", "ROM", "LOG", "SIGNAL",
|
||||
|
||||
/* services expected to got started by init */
|
||||
"Nitpicker", "Init", "Timer", "PCI",
|
||||
|
||||
"Nitpicker", "Init", "Timer", "PCI", "Block", "Nic", "Rtc",
|
||||
|
||||
0 /* null-termination */
|
||||
};
|
||||
for (unsigned i = 0; names[i]; i++)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,7 @@
|
|||
#
|
||||
# \brief Example for using Vancouver on Genode
|
||||
# \author Norman Feske
|
||||
# \author Markus Partheymueller
|
||||
# \date 2011-11-21
|
||||
#
|
||||
# This run script starts the Vancouver VMM booting the multiboot modules
|
||||
|
|
@ -20,11 +21,122 @@ if {![have_spec nova]} {
|
|||
set build_components {
|
||||
core init
|
||||
drivers/timer
|
||||
drivers/rtc
|
||||
vancouver
|
||||
drivers/framebuffer
|
||||
server/nitpicker
|
||||
server/liquid_framebuffer
|
||||
drivers/nic
|
||||
server/nic_bridge
|
||||
drivers/pci
|
||||
drivers/input
|
||||
drivers/usb
|
||||
app/launchpad
|
||||
server/nitlog
|
||||
}
|
||||
|
||||
build $build_components
|
||||
|
||||
# write vancouver vm config file
|
||||
set vm_cfg_fd [open "bin/vm_linux.cfg" w]
|
||||
puts $vm_cfg_fd {<config>
|
||||
<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"/>
|
||||
|
||||
<vbios_disk/>
|
||||
<vbios_keyboard/>
|
||||
<vbios_mem/>
|
||||
<vbios_time/>
|
||||
<vbios_reset/>
|
||||
<vbios_multiboot/>
|
||||
<msi/>
|
||||
<ioapic/>
|
||||
<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
|
||||
mem_base="0xe0000000"/>
|
||||
<pmtimer io_port="0x8000"/>
|
||||
<vcpu/> <halifax/> <vbios/> <lapic/>
|
||||
</machine>
|
||||
<multiboot>
|
||||
<rom name="munich"/>
|
||||
<rom name="bzImage" cmdline="root=/dev/ram0 console=tty0 vga=0x314 earlyprintk=ttyS0"/>
|
||||
<rom name="ramdisk"/>
|
||||
</multiboot>
|
||||
</config>}
|
||||
close $vm_cfg_fd
|
||||
|
||||
# write launchpad config file
|
||||
set launchpad_cfg_fd [open "bin/launchpad-config" w]
|
||||
puts $launchpad_cfg_fd {<config>
|
||||
<launcher><ram_quota>128M</ram_quota><filename>init</filename>
|
||||
<config>
|
||||
<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"/>
|
||||
<service name="Nitpicker"/>
|
||||
<service name="Timer"/>
|
||||
<service name="Nic"/>
|
||||
<service name="Block"/>
|
||||
<service name="Rtc"/>
|
||||
</parent-provides>
|
||||
|
||||
<start name="vancouver_fb">
|
||||
<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>
|
||||
<animate>off</animate>
|
||||
<x>10</x><y>10</y>
|
||||
<width>640</width>
|
||||
<height>480</height>
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="vancouver">
|
||||
<binary name="vancouver"/>
|
||||
<resource name="RAM" quantum="64M"/>
|
||||
<route>
|
||||
<service name="Timer"><parent/></service>
|
||||
<service name="Nic"><parent/></service>
|
||||
<service name="Input"><child name="vancouver_fb"/></service>
|
||||
<service name="Framebuffer"><child name="vancouver_fb"/></service>
|
||||
<any-service><parent/></any-service>
|
||||
</route>
|
||||
<configfile name="vm_linux.cfg"/>
|
||||
</start>
|
||||
</config>
|
||||
</launcher>
|
||||
</config>}
|
||||
close $launchpad_cfg_fd
|
||||
|
||||
create_boot_directory
|
||||
|
||||
#
|
||||
|
|
@ -32,7 +144,7 @@ create_boot_directory
|
|||
#
|
||||
|
||||
append config {
|
||||
<config>
|
||||
<config verbose="yes">
|
||||
<parent-provides>
|
||||
<service name="ROM"/>
|
||||
<service name="RAM"/>
|
||||
|
|
@ -44,56 +156,78 @@ append config {
|
|||
<service name="RM"/>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="SIGNAL"/>
|
||||
</parent-provides>
|
||||
<default-route>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</default-route>}
|
||||
</default-route>
|
||||
|
||||
append config {
|
||||
<start name="timer">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="vancouver">
|
||||
<binary name="vancouver"/>
|
||||
<resource name="RAM" quantum="65M"/>
|
||||
<config>
|
||||
<machine>
|
||||
<mem start="0x0" end="0xa0000"/>
|
||||
<mem start="0x100000" end="0x2000000"/>
|
||||
<!--<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"/>
|
||||
<vbios_disk/>
|
||||
<vbios_keyboard/>
|
||||
<vbios_mem/>
|
||||
<vbios_time/>
|
||||
<vbios_reset/>
|
||||
<vbios_multiboot/>
|
||||
<msi/>
|
||||
<ioapic/>
|
||||
<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
|
||||
mem_base="0xe0000000"/>
|
||||
<pmtimer io_port="0x8000"/>
|
||||
<vcpu/> <halifax/> <vbios/> <lapic/>
|
||||
</machine>
|
||||
<multiboot>
|
||||
<rom name="bootstrap"/>
|
||||
<rom name="fiasco"/>
|
||||
<rom name="sigma0.foc"/>
|
||||
<rom name="core.foc"/>
|
||||
</multiboot>
|
||||
</config>
|
||||
|
||||
<start name="rtc_drv">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Rtc"/></provides>
|
||||
</start>
|
||||
|
||||
<start name="pci_drv">
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<provides><service name="PCI"/></provides>
|
||||
<route> <any-service><parent/></any-service> </route>
|
||||
</start>
|
||||
|
||||
<start name="nic_drv">
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
<route> <any-service><any-child/><parent/></any-service> </route>
|
||||
</start>
|
||||
|
||||
<start name="nic_bridge">
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<provides><service name="Nic"/></provides>
|
||||
<route>
|
||||
<service name="Nic"><child name="nic_drv"/></service>
|
||||
<any-service><parent/></any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="vesa_drv">
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<provides><service name="Framebuffer"/></provides>
|
||||
<route>
|
||||
<service name="Timer"><child name="timer"/></service>
|
||||
<service name="PCI"><any-child/></service>
|
||||
<any-service><parent/></any-service>
|
||||
</route>
|
||||
<config width="1024" height="768" depth="16" buffered="no"/>
|
||||
</start>
|
||||
|
||||
<start name="ps2_drv">
|
||||
<resource name="RAM" quantum="3M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<route> <any-service><parent/></any-service> </route>
|
||||
</start>
|
||||
|
||||
<start name="nitpicker">
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<route>
|
||||
<service name="Timer"> <child name="timer"/></service>
|
||||
<service name="Framebuffer"><child name="vesa_drv"/></service>
|
||||
<service name="Input"> <child name="ps2_drv"/></service>
|
||||
<any-service><parent/></any-service>
|
||||
</route>
|
||||
<provides><service name="Nitpicker"/></provides>
|
||||
</start>
|
||||
|
||||
<start name="launchpad">
|
||||
<resource name="RAM" quantum="2500M"/>
|
||||
<configfile name="launchpad-config"/>
|
||||
<route>
|
||||
<service name="Nic"><child name="nic_bridge"/></service>
|
||||
<any-service><any-child/><parent/></any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>}
|
||||
|
||||
|
|
@ -106,21 +240,40 @@ install_config $config
|
|||
# generic modules
|
||||
set boot_modules {
|
||||
core init
|
||||
vesa_drv
|
||||
nitpicker
|
||||
liquid_fb
|
||||
ps2_drv
|
||||
pci_drv
|
||||
nic_drv
|
||||
nic_bridge
|
||||
usb_drv
|
||||
timer
|
||||
rtc_drv
|
||||
vancouver
|
||||
launchpad
|
||||
launchpad-config
|
||||
nitlog
|
||||
vm_linux.cfg
|
||||
}
|
||||
|
||||
#
|
||||
# Add files for a simple Fiasco.OC setup to core's ROM service
|
||||
#
|
||||
# The files are copied from a Genode build directory for the Fiasco.OC base
|
||||
# platform.
|
||||
#
|
||||
append boot_modules { bootstrap fiasco sigma0.foc core.foc }
|
||||
set guest_os_binaries { munich bzImage ramdisk }
|
||||
|
||||
set guest_os_binary_missing 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 {$guest_os_binary_missing} { exit 1 }
|
||||
|
||||
append boot_modules $guest_os_binaries
|
||||
|
||||
build_boot_image $boot_modules
|
||||
|
||||
append qemu_args " -m 256 "
|
||||
append qemu_args " -nographic "
|
||||
append qemu_args " -cpu phenom "
|
||||
|
||||
run_genode_until forever
|
||||
|
|
|
|||
Loading…
Reference in New Issue