From dab7c647622cc59588ef99a55228c5222febb18a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 4 May 2023 17:13:52 +0200
Subject: [PATCH] os: remove obsolete input.run script

Since repos/base/board/pc/devices is empty, the run script no longer
works on PC. Nobody noticed because the use case of this run script -
as development test loop for the ps2 and fb_sdl - are better served by
other scenarios nowadays, e.g., using declaring 'build: ps2' for a
custom Sculpt OS build.

Removed in the context of issue #4860.
---
 repos/os/run/input.run | 177 -----------------------------------------
 1 file changed, 177 deletions(-)
 delete mode 100644 repos/os/run/input.run

diff --git a/repos/os/run/input.run b/repos/os/run/input.run
deleted file mode 100644
index ae2cd0fe8f..0000000000
--- a/repos/os/run/input.run
+++ /dev/null
@@ -1,177 +0,0 @@
-#
-# Build
-#
-
-assert_spec x86
-
-set build_components { core init timer server/dynamic_rom server/event_dump }
-
-lappend_if [have_board pc]    build_components drivers/platform
-lappend_if [have_board pc]    build_components drivers/ps2
-lappend_if [have_board linux] build_components drivers/framebuffer/sdl
-lappend_if [have_board linux] build_components server/nitpicker
-
-build $build_components
-
-create_boot_directory
-
-#
-# Generate config
-#
-
-append config {
-<config>
-	<parent-provides>
-		<service name="ROM"/>
-		<service name="IRQ"/>
-		<service name="IO_MEM"/>
-		<service name="IO_PORT"/>
-		<service name="PD"/>
-		<service name="RM"/>
-		<service name="CPU"/>
-		<service name="LOG"/>
-	</parent-provides>
-	<default-route/>
-	<default caps="100"/>
-
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-		<route>
-			<service name="PD">      <parent/> </service>
-			<service name="CPU">     <parent/> </service>
-			<service name="LOG">     <parent/> </service>
-			<service name="ROM">     <parent/> </service>
-			<service name="IO_MEM">  <parent/> </service>
-			<service name="IRQ">     <parent/> </service>
-			<service name="IO_PORT"> <parent/> </service>
-		</route>
-	</start>}
-
-append_if [have_board pc] config {
-	<start name="platform_drv">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Platform"/></provides>
-		<route>
-			<service name="PD">      <parent/> </service>
-			<service name="CPU">     <parent/> </service>
-			<service name="LOG">     <parent/> </service>
-			<service name="ROM">     <parent/> </service>
-			<service name="IO_MEM">  <parent/> </service>
-			<service name="IRQ">     <parent/> </service>
-			<service name="IO_PORT"> <parent/> </service>
-		</route>
-		<config>
-			<policy label="ps2_drv -> "> <device name="ps2"/> </policy>
-		</config>
-	</start>
-
-	<start name="ps2_drv">
-		<resource name="RAM" quantum="2M"/>
-		<config verbose_keyboard="no" verbose_mouse="no" verbose_scancodes="no"
-		        capslock_led="rom" numlock_led="rom" scrlock_led="rom"/>
-		<route>
-			<service name="ROM" label="capslock"> <child name="dynamic_rom"/> </service>
-			<service name="ROM" label="numlock">  <child name="dynamic_rom"/> </service>
-			<service name="ROM" label="scrlock">  <child name="dynamic_rom"/> </service>
-			<service name="ROM">      <parent/>    </service>
-			<service name="CPU">      <parent/>    </service>
-			<service name="PD">       <parent/>    </service>
-			<service name="IO_PORT">  <parent/>    </service>
-			<service name="LOG">      <parent/>    </service>
-			<service name="Platform"> <any-child/> </service>
-			<service name="Timer">    <child name="timer"/> </service>
-			<service name="Event">    <child name="event_dump"/> </service>
-		</route>
-	</start>}
-
-append_if [have_board linux] config {
-	<start name="fb_sdl" ld="no">
-		<resource name="RAM" quantum="4M"/>
-		<provides> <service name="Input"/> <service name="Framebuffer"/> </provides>
-		<route>
-			<service name="ROM">     <parent/> </service>
-			<service name="CPU">     <parent/> </service>
-			<service name="PD">      <parent/> </service>
-			<service name="LOG">     <parent/> </service>
-			<service name="Timer">   <child name="timer"/> </service>
-			<service name="Event">   <child name="event_dump"/> </service>
-			<service name="Capture"> <child name="nitpicker"/> </service>
-		</route>
-	</start>
-
-	<start name="nitpicker">
-		<resource name="RAM" quantum="1M"/>
-		<provides> <service name="Gui"/> <service name="Capture"/> </provides>
-		<route> <any-service> <parent/> <any-child/> </any-service> </route>
-		<config> <capture/> </config>
-	</start>}
-
-append config {
-
-	<start name="dynamic_rom">
-		<resource name="RAM" quantum="4M"/>
-		<provides> <service name="ROM"/> </provides>
-		<config verbose="no">
-			<rom name="capslock">
-				<inline> <capslock enabled="no"/> </inline>
-				<sleep milliseconds="250" />
-				<inline> <capslock enabled="yes"/> </inline>
-				<sleep milliseconds="250" />
-			</rom>
-			<rom name="numlock">
-				<inline> <numlock enabled="no"/> </inline>
-				<sleep milliseconds="500" />
-				<inline> <numlock enabled="yes"/> </inline>
-				<sleep milliseconds="500" />
-			</rom>
-			<rom name="scrlock">
-				<inline> <scrlock enabled="no"/> </inline>
-				<sleep milliseconds="1000" />
-				<inline> <scrlock enabled="yes"/> </inline>
-				<sleep milliseconds="1000" />
-			</rom>
-		</config>
-		<route>
-			<service name="ROM">   <parent/>             </service>
-			<service name="CPU">   <parent/>             </service>
-			<service name="PD">    <parent/>             </service>
-			<service name="LOG">   <parent/>             </service>
-			<service name="Timer"> <child name="timer"/> </service>
-		</route>
-	</start>
-
-	<start name="event_dump">
-		<resource name="RAM" quantum="1M"/>
-		<provides> <service name="Event"/> </provides>
-		<config/>
-		<route>
-			<service name="ROM">   <parent/>             </service>
-			<service name="CPU">   <parent/>             </service>
-			<service name="PD">    <parent/>             </service>
-			<service name="LOG">   <parent/>             </service>
-			<service name="Timer"> <child name="timer"/> </service>
-		</route>
-	</start>}
-
-append config {
-</config>}
-
-install_config $config
-
-#
-# Boot modules
-#
-
-# generic modules
-file copy [select_from_repositories board/[board]/devices] [run_dir]/genode/devices
-set boot_modules { core ld.lib.so init timer dynamic_rom event_dump }
-
-lappend_if [have_board pc]    boot_modules ps2_drv
-lappend_if [have_board pc]    boot_modules platform_drv
-lappend_if [have_board linux] boot_modules fb_sdl
-lappend_if [have_board linux] boot_modules nitpicker
-
-build_boot_image $boot_modules
-
-run_genode_until forever