diff --git a/repos/ports-foc/run/l4android.run b/repos/ports-foc/run/l4android.run deleted file mode 100644 index 6f7bd7803b..0000000000 --- a/repos/ports-foc/run/l4android.run +++ /dev/null @@ -1,292 +0,0 @@ -assert_spec foc -assert_spec 32bit - -# -# Build -# - -set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]] -set use_usb_drv [expr [have_spec omap4] || [have_spec exynos5]] -set use_nic_drv [expr !$use_usb_drv] -set use_atapi_drv [have_spec x86] -set use_sd_card_drv [expr [have_spec omap4] || [have_spec exynos5] || [have_spec pl180]] - -# generic components -set build_components { - core - init - drivers/timer - drivers/framebuffer - server/nitpicker - server/nit_fb - server/terminal - server/terminal_log - l4android -} - -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 -lappend_if [have_spec usb] build_components drivers/usb -lappend_if $use_usb_drv build_components drivers/usb -lappend_if $use_nic_drv build_components drivers/nic -lappend_if $use_atapi_drv build_components drivers/atapi -lappend_if $use_sd_card_drv build_components drivers/sd_card -lappend_if $use_platform_drv build_components drivers/platform - -build $build_components -create_boot_directory - -# -# Config -# - -set config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - } - -append_if [have_spec acpi] config { - - - - - - - - - - - - } - -append_if [expr ![have_spec acpi] && [have_spec pci]] config { - - - - } - -append_if $use_platform_drv config { - - - - - - } - -append_if [have_spec gpio] config { - - - - - } - -append_if $use_usb_drv config { - - - - - - - - - - - } - -append_if $use_nic_drv config { - - - - } - -append_if $use_atapi_drv config { - - - - - - } - -append_if $use_sd_card_drv config { - - - - - } - -append_if [have_spec framebuffer] config { - - - - - } - -append_if [have_spec ps2] config { - - - - - } - -append config { -} - -install_config $config - - -# -# Boot modules -# - -set boot_modules { - core - init - timer - nitpicker - nit_fb - terminal - terminal_log - l4android - root-ginger.gz -} - -lappend_if [have_spec acpi] boot_modules acpi_drv -lappend_if [have_spec pci] boot_modules pci_drv -lappend_if [have_spec gpio] boot_modules gpio_drv -lappend_if [have_spec ps2] boot_modules ps2_drv -lappend_if [have_spec framebuffer] boot_modules fb_drv -lappend_if $use_usb_drv boot_modules usb_drv -lappend_if $use_nic_drv boot_modules nic_drv -lappend_if $use_atapi_drv boot_modules atapi_drv -lappend_if $use_sd_card_drv boot_modules sd_card_drv -lappend_if $use_platform_drv boot_modules platform_drv - -if {[have_spec x86]} { - set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz" - set system_uri "http://genode.org/files/release-11.11/l4lx/system-ia32-ginger.img" -} elseif {[have_spec arm]} { - set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" - set system_uri "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" -} -if {![file exists bin/root-ginger.gz]} { - puts "Download initramfs ..." - exec curl $initrd_uri > bin/root-ginger.gz 2> /dev/null -} -if {![file exists bin/system-ginger.img]} { - puts "Download system image ..." - exec curl $system_uri > bin/system-ginger.img 2> /dev/null -} -exec >& /dev/null wget -O bin/root-ginger.gz.md5 $initrd_uri.md5 -exec >& /dev/null wget -O bin/system-ginger.img.md5 $system_uri.md5 -cd bin -exec md5sum -c root-ginger.gz.md5 -exec md5sum -c system-ginger.img.md5 -cd .. - -build_boot_image [join $boot_modules " "] - -append qemu_args " -m 512 " -append qemu_args " -serial mon:stdio " -append_if $use_atapi_drv qemu_args " -hda bin/system-ginger.img " -append_if $use_sd_card_drv qemu_args " -drive file=bin/system-ginger.img,if=sd,cache=writeback " -append_if [have_spec x86] qemu_args " -net nic,model=e1000 " -append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " -append_if $use_nic_drv qemu_args " -net user -redir tcp:5555::5555 " - -run_genode_until forever diff --git a/repos/ports-foc/run/l4linux_dynamic.run b/repos/ports-foc/run/l4linux_dynamic.run deleted file mode 100644 index de300669e2..0000000000 --- a/repos/ports-foc/run/l4linux_dynamic.run +++ /dev/null @@ -1,622 +0,0 @@ -assert_spec platform_arndale - -# -# Build -# -set build_components { - app/cli_monitor - app/gdb_monitor - app/launchpad - app/scout - core - drivers/ahci - drivers/framebuffer - drivers/platform - drivers/sd_card - drivers/timer - drivers/uart - drivers/usb - init - l4linux - lib/libc_noux - noux - server/ffat_fs - server/fs_rom - server/nic_bridge - server/liquid_framebuffer - server/nitpicker - server/part_blk - server/tar_fs - server/terminal - server/terminal_crosslink - server/terminal_log - server/terminal_mux - test/affinity - test/blk/cli - test/gdb_monitor - test/input - test/lwip/http_srv - test/nitpicker -} - -lappend build_components noux-pkg/vim -lappend build_components noux-pkg/gdb_arm - -build $build_components -create_boot_directory - -exec tar cfv bin/vim.tar -h -C bin/vim . - -# -# Config -# -set config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} -append config { - -} -install_config $config - -set gdb_config_fd [open "bin/gdb_command_config" w] -puts $gdb_config_fd { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} -close $gdb_config_fd - -set gdb_binaries { - test-gdb_monitor - testnit - scout - libc.lib.so - ld.lib.so - libc_log.lib.so -} -set gdb_stripped_binaries { - expat.lib.so - gdb_monitor - init - launchpad - libc_lock_pipe.lib.so - libc_noux.lib.so - libc_terminal.lib.so - libm.lib.so - liquid_fb - ncurses.lib.so - noux - terminal - terminal_crosslink -} - -exec sh -c "find bin/gdb_arm/ -type f | (xargs [cross_dev_prefix]strip || true) 2>/dev/null" -exec mkdir -p bin/gdb/src -foreach binary ${gdb_binaries} { - set source_files [ exec [cross_dev_prefix]objdump -dl bin/${binary} | grep "^/.*:.*" | sed -e "s/:.*//" | uniq ] - foreach source_file ${source_files} { - # resolve '..' to avoid problems with 'tar' with parts like '/a/b/../' - # where '/a' exists, but '/a/b' does not - set source_file [file normalize ${source_file}] - if [file exists ${source_file}] { - set dirname [ exec dirname ${source_file}] - exec mkdir -p bin/gdb/src${dirname} - exec ln -sf ${source_file} bin/gdb/src${source_file} - } - } -} -foreach binary ${gdb_stripped_binaries} { - exec sh -c "cp bin/${binary} bin/gdb/${binary}" - exec sh -c "[cross_dev_prefix]strip bin/gdb/${binary}" -} -foreach binary ${gdb_binaries} { - exec ln -s ../${binary} bin/gdb/${binary} -} -exec ln -s ../gdb_command_config bin/gdb/gdb_command_config -exec tar cfh bin/gdb.tar -C bin gdb -exec tar ufh bin/gdb.tar -C bin/gdb_arm bin -exec rm -rf bin/gdb - -# -# Boot modules -# -set boot_modules { - ahci - cli_monitor - core - fb_drv - ffat_fs - fs_rom - init - initrd.gz - kdb_uart_drv - l4linux - ld.lib.so - libc.lib.so - libc_log.lib.so - libc_noux.lib.so - libc_terminal.lib.so - libm.lib.so - lwip.lib.so - ncurses.lib.so - nic_bridge - liquid_fb - nitpicker - noux - part_blk - platform_drv - sd_card_drv - tar_fs - terminal - terminal_log - terminal_mux - test-affinity - test-blk-cli - timer - usb_drv - vim.tar - gdb.tar -} - -set uri "http://genode.org/files/l4linux/initrd-arm-mdev.gz" -if {![file exists bin/initrd.gz]} { - puts "Download initramfs ..." - exec >& /dev/null wget -c -O bin/initrd.gz $uri -} -exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5 -cd bin -exec md5sum -c initrd.gz.md5 -cd .. - -set fiasco_serial_esc_arg "" -build_boot_image [join $boot_modules " "] -run_genode_until forever diff --git a/repos/ports-foc/run/multi_linux.run b/repos/ports-foc/run/multi_linux.run deleted file mode 100644 index 213217850d..0000000000 --- a/repos/ports-foc/run/multi_linux.run +++ /dev/null @@ -1,180 +0,0 @@ -assert_spec foc -assert_spec 32bit - -# -# Build -# -set build_components { - core - init - drivers/timer - drivers/framebuffer - server/nitpicker - server/liquid_framebuffer - app/launchpad - l4linux -} - -lappend_if [have_spec pci] build_components drivers/pci -lappend_if [have_spec ps2] build_components drivers/input/ps2 -lappend_if [have_spec usb] build_components drivers/usb -lappend_if [have_spec gpio] build_components drivers/gpio - -build $build_components -create_boot_directory - -# -# Config -# -set config { - - - - - - - - - - - - - - - - - - - - - } - -append_if [have_spec pci] config { - - - - } - -append_if [have_spec framebuffer] config { - - - - } - -append_if [have_spec ps2] config { - - - - - } - -append_if [have_spec gpio] config { - - - - - } - -append_if [expr ![have_spec ps2] && [have_spec usb]] config { - - - - - - } - -append config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} - -install_config $config - -# -# Boot modules -# -set boot_modules { - core - init - timer - nitpicker - launchpad - liquid_fb - 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 framebuffer] boot_modules fb_drv -lappend_if [have_spec usb] boot_modules usb_drv -lappend_if [have_spec gpio] boot_modules gpio_drv - -if {[have_spec x86]} { - set uri "http://genode.org/files/l4linux/busybox-initrd-x86-20120618.gz" -} elseif {[have_spec arm]} { - set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120618.gz" -} -if {![file exists bin/initrd.gz]} { - puts "Download initramfs ..." - exec >& /dev/null wget -c -O bin/initrd.gz $uri -} -exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5 -cd bin -exec md5sum -c initrd.gz.md5 -cd .. - -build_boot_image [join $boot_modules " "] - -# -# Qemu -# -append qemu_args " -m 512 " -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 diff --git a/repos/ports-foc/run/smp_linux_panda.run b/repos/ports-foc/run/smp_linux_panda.run deleted file mode 100644 index add4a425f4..0000000000 --- a/repos/ports-foc/run/smp_linux_panda.run +++ /dev/null @@ -1,178 +0,0 @@ -assert_spec foc -assert_spec platform_panda - -# -# Build -# -build { - core - init - drivers/timer - drivers/framebuffer - drivers/gpio - drivers/usb - server/nitpicker - server/nit_fb - server/terminal - server/terminal_log - l4linux -} - -create_boot_directory - -# -# Config -# -set config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} - -install_config $config - -# -# Boot modules -# -set boot_modules { - core - init - timer - l4linux - initrd.gz - fb_drv - gpio_drv - usb_drv - terminal - terminal_log - nitpicker - nit_fb -} - -set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120710.gz" - -if {![file exists bin/initrd.gz]} { - puts "Download initramfs ..." - exec >& /dev/null wget -c -O bin/initrd.gz $uri -} -exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5 -cd bin -exec md5sum -c initrd.gz.md5 -cd .. - -build_boot_image [join $boot_modules " "] - diff --git a/repos/ports-foc/run/two_linux.run b/repos/ports-foc/run/two_linux.run deleted file mode 100644 index 2c2731b353..0000000000 --- a/repos/ports-foc/run/two_linux.run +++ /dev/null @@ -1,245 +0,0 @@ -assert_spec foc -assert_spec 32bit - -# -# 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 -lappend_if [have_spec usb] build_components drivers/usb -lappend_if [have_spec gpio] build_components drivers/gpio - -build $build_components -create_boot_directory - -# -# Config -# -set config { - - - - - - - - - - - - - - - - - - - - - } - -append_if [have_spec pci] config { - - - - } - -append_if [have_spec gpio] config { - - - - - } - -append_if [have_spec framebuffer] config { - - - - } - -append_if [have_spec ps2] config { - - - - - } - -append_if [expr ![have_spec ps2] && [have_spec usb]] 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 framebuffer] boot_modules fb_drv -lappend_if [have_spec x86] boot_modules nic_drv -lappend_if [have_spec lan9118] boot_modules nic_drv -lappend_if [have_spec usb] boot_modules usb_drv -lappend_if [have_spec gpio] boot_modules gpio_drv - -if {[have_spec x86]} { - set uri "http://genode.org/files/l4linux/busybox-initrd-x86-20120618.gz" -} elseif {[have_spec arm]} { - set uri "http://genode.org/files/l4linux/busybox-initrd-arm-20120618.gz" -} -if {![file exists bin/initrd.gz]} { - puts "Download initramfs ..." - exec >& /dev/null wget -c -O bin/initrd.gz $uri -} -exec >& /dev/null wget -O bin/initrd.gz.md5 $uri.md5 -cd bin -exec md5sum -c initrd.gz.md5 -cd .. - -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