mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
7584bdb22e
Don't use the xhci USB host controller for HID and NIC in the l4linux run script. It doesn't work on the Pandaboard, and isn't needed for the Arndale board. Moreover, provide a MAC address, and add a providing rule in the KDB UART driver to supress ugly warnings. Fix #763
175 lines
4.3 KiB
Plaintext
175 lines
4.3 KiB
Plaintext
assert_spec foc
|
|
|
|
#
|
|
# Build
|
|
#
|
|
set build_components {
|
|
core
|
|
init
|
|
drivers/timer
|
|
drivers/uart
|
|
drivers/framebuffer
|
|
l4linux }
|
|
|
|
set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
|
|
set use_nic_driver [expr !$use_usb_driver && [expr [have_spec lan9118] || [have_spec x86]]]
|
|
|
|
lappend_if $use_usb_driver build_components drivers/usb
|
|
lappend_if $use_nic_driver build_components drivers/nic
|
|
lappend_if [have_spec pci] build_components drivers/pci
|
|
lappend_if [have_spec acpi] build_components drivers/acpi
|
|
lappend_if [have_spec ps2] build_components drivers/input/ps2
|
|
|
|
build $build_components
|
|
create_boot_directory
|
|
|
|
#
|
|
# Config
|
|
#
|
|
set config {
|
|
<config prio_levels="2">
|
|
<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> <parent/> <any-child/> </any-service>
|
|
</default-route>
|
|
<start name="timer">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Timer"/></provides>
|
|
</start>
|
|
<start name="kdb_uart_drv">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides>
|
|
<service name="Terminal"/>
|
|
<service name="Uart"/>
|
|
</provides>
|
|
<config><policy label="l4linux" uart="0"/></config>
|
|
</start> }
|
|
|
|
append_if [have_spec acpi] config {
|
|
<start name="acpi">
|
|
<resource name="RAM" quantum="6M"/>
|
|
<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">
|
|
<resource name="RAM" quantum="3M"/>
|
|
<provides> <service name="PCI"/> </provides>
|
|
</start> }
|
|
|
|
append_if [have_spec framebuffer] config {
|
|
<start name="fb_drv">
|
|
<resource name="RAM" quantum="4M"/>
|
|
<provides><service name="Framebuffer"/></provides>
|
|
</start> }
|
|
|
|
append_if [have_spec ps2] config {
|
|
<start name="ps2_drv">
|
|
<resource name="RAM" quantum="1M"/>
|
|
<provides><service name="Input"/></provides>
|
|
</start> }
|
|
|
|
append_if $use_usb_driver config {
|
|
<start name="usb_drv">
|
|
<resource name="RAM" quantum="12M"/>
|
|
<provides>
|
|
<service name="Nic"/>
|
|
<service name="Input"/>
|
|
</provides>
|
|
<config uhci="yes" ehci="yes">
|
|
<nic mac="2e:60:90:0c:4e:01"/>
|
|
<hid />
|
|
</config>
|
|
</start>}
|
|
|
|
append_if $use_nic_driver config {
|
|
<start name="nic_drv">
|
|
<resource name="RAM" quantum="2M"/>
|
|
<provides><service name="Nic"/></provides>
|
|
</start> }
|
|
|
|
append config {
|
|
<start name="l4linux">
|
|
<resource name="RAM" quantum="128M"/> }
|
|
|
|
append_if [have_spec x86] config {
|
|
<config args="mem=64M l4x_rd=initrd.gz l4x_cpus=2 l4x_cpus_map=0,1"/> }
|
|
|
|
append_if [have_spec arm] config {
|
|
<config args="mem=64M l4x_rd=initrd.gz"/> }
|
|
|
|
append config {
|
|
</start>
|
|
</config> }
|
|
|
|
install_config $config
|
|
|
|
#
|
|
# Boot modules
|
|
#
|
|
set boot_modules { core init timer kdb_uart_drv l4linux initrd.gz }
|
|
lappend_if [have_spec pci] boot_modules pci_drv
|
|
lappend_if [have_spec acpi] boot_modules acpi_drv
|
|
lappend_if [have_spec ps2] boot_modules ps2_drv
|
|
lappend_if [have_spec framebuffer] boot_modules fb_drv
|
|
lappend_if $use_nic_driver boot_modules nic_drv
|
|
lappend_if $use_usb_driver boot_modules usb_drv
|
|
|
|
if {[have_spec x86]} {
|
|
set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz"
|
|
} elseif {[have_spec arm]} {
|
|
set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz"
|
|
}
|
|
if {![file exists bin/initrd.gz]} {
|
|
puts "Download initramfs ..."
|
|
exec >& /dev/null wget -c -O bin/initrd.gz $uri
|
|
}
|
|
|
|
build_boot_image [join $boot_modules " "]
|
|
|
|
#
|
|
# Qemu
|
|
#
|
|
append qemu_args " -m 128 -nographic "
|
|
append qemu_args " -serial mon:stdio "
|
|
append_if [have_spec x86] qemu_args " -smp 2,cores=2 "
|
|
append_if [have_spec x86] qemu_args " -net nic,model=e1000 -net user "
|
|
append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 -net user "
|
|
|
|
#
|
|
# Execute test case
|
|
#
|
|
run_genode_until {.*\/ #.*} 220
|
|
|
|
# Wait for network to settle down
|
|
send "sleep 5\n"
|
|
send "wget http://genode.org/\n"
|
|
|
|
expect {
|
|
-re "Connecting to genode.org.*index.html.*\/ #.*" { }
|
|
timeout { puts stderr "Error: Test execution timed out"; exit -2 }
|
|
}
|
|
|
|
puts "Test succeeded"
|
|
exec rm bin/initrd.gz
|