From e834624bfadf236d2f2175320c25e216a3106924 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 11 Apr 2018 17:42:25 +0200 Subject: [PATCH] Remove noux_two_terminal_fs.run This interactive run script is largely a duplication of noux_terminal_fs. --- repos/ports/run/noux_two_terminal_fs.run | 240 ----------------------- 1 file changed, 240 deletions(-) delete mode 100644 repos/ports/run/noux_two_terminal_fs.run diff --git a/repos/ports/run/noux_two_terminal_fs.run b/repos/ports/run/noux_two_terminal_fs.run deleted file mode 100644 index 222b773ec..000000000 --- a/repos/ports/run/noux_two_terminal_fs.run +++ /dev/null @@ -1,240 +0,0 @@ -# -# \brief Test for the Noux terminal file system -# \author Christian Prochaska -# \date 2012-06-11 -# - -# -# The test shows two framebuffer terminals. The upper terminal runs an -# interatctive shell and the lower terminal can be accessed from the shell via -# /dev/terminal. -# -# Example for writing to the lower terminal: echo "test" > /dev/terminal -# Example for reading a line from the lower terminal: head -n 1 /dev/terminal -# - -set build_components { - core init drivers/timer noux lib/libc_noux - drivers/framebuffer drivers/input - server/terminal server/ram_fs server/nitpicker app/pointer - server/nit_fb -} - -# -# Build Noux packages only once -# -foreach pkg {bash coreutils} { - lappend_if [expr ![file exists bin/$pkg]] build_components noux-pkg/$pkg } - -source ${genode_dir}/repos/base/run/platform_drv.inc -append_platform_drv_build_components - -build $build_components - -create_boot_directory - -append config { - - - - - - - - - - - - - - - - - - - } - -append_if [have_spec sdl] config { - - - - - - - } - -append_platform_drv_config - -append_if [have_spec framebuffer] config { - - - - } - -append_if [have_spec ps2] config { - - - - } - -append config { - - - - - - - - - - } -append_if [have_spec ps2] config { - } -append config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} - -install_config $config - - -# -# Boot modules -# - -# generic modules -set boot_modules { - core init timer ld.lib.so noux terminal ram_fs nitpicker nit_fb pointer - libc.lib.so libm.lib.so libc_noux.lib.so posix.lib.so - bash.tar coreutils.tar vimrc -} - -# platform-specific modules -lappend_if [have_spec linux] boot_modules fb_sdl -lappend_if [have_spec framebuffer] boot_modules fb_drv -lappend_if [have_spec ps2] boot_modules ps2_drv - -append_platform_drv_boot_modules - -build_boot_image $boot_modules - -# bash.tar is really huge when built for x86_64 - -run_genode_until forever