diff --git a/ports-foc/run/two_linux.run b/ports-foc/run/two_linux.run new file mode 100644 index 0000000000..bce2e974ca --- /dev/null +++ b/ports-foc/run/two_linux.run @@ -0,0 +1,226 @@ +assert_spec foc + +# +# Build +# +set build_components { + core + init + drivers/timer + drivers/framebuffer + server/nic_bridge + server/nitpicker + server/nit_fb + server/terminal + server/terminal_log + l4linux +} + +lappend_if [have_spec x86] build_components drivers/nic +lappend_if [have_spec pci] build_components drivers/pci +lappend_if [have_spec ps2] build_components drivers/input/ps2 +lappend_if [have_spec lan9118] build_components drivers/nic + +build $build_components +create_boot_directory + +# +# Config +# +set config { + + + + + + + + + + + + + + + + + + + + + } + +append_if [have_spec pci] config { + + + + } + +append_if [have_spec vesa] config { + + + + + } + +append_if [have_spec pl11x] config { + + + + + } + +append_if [have_spec ps2] config { + + + + + } + +append_if [have_spec x86] config { + + + + } + +append_if [have_spec lan9118] config { + + + + } + +append config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +install_config $config + +# +# Boot modules +# +set boot_modules { + core + init + timer + nic_bridge + nitpicker + nit_fb + terminal + terminal_log + l4linux + initrd.gz +} +lappend_if [have_spec pci] boot_modules pci_drv +lappend_if [have_spec ps2] boot_modules ps2_drv +lappend_if [have_spec pl11x] boot_modules pl11x_drv +lappend_if [have_spec vesa] boot_modules vesa_drv +lappend_if [have_spec x86] boot_modules nic_drv +lappend_if [have_spec lan9118] boot_modules nic_drv + +if {[have_spec x86]} { + set uri "https://github.com/downloads/skalk/genode/busybox-initrd-x86-20120618.gz" +} elseif {[have_spec arm]} { + set uri "https://github.com/downloads/skalk/genode/busybox-initrd-arm-20120618.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 256 " +append qemu_args " -serial mon:stdio " +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 forever