From 2a41f506615f306cfaa9e28680fe57e146c11114 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 19 Feb 2019 12:09:28 +0100
Subject: [PATCH] Remove obsolete usb_hid_panda test

---
 repos/dde_linux/run/usb_hid_panda.run | 63 ---------------------------
 1 file changed, 63 deletions(-)
 delete mode 100644 repos/dde_linux/run/usb_hid_panda.run

diff --git a/repos/dde_linux/run/usb_hid_panda.run b/repos/dde_linux/run/usb_hid_panda.run
deleted file mode 100644
index 3587a703c..000000000
--- a/repos/dde_linux/run/usb_hid_panda.run
+++ /dev/null
@@ -1,63 +0,0 @@
-#
-# Build
-#
-
-set build_components {
-	core init timer
-	drivers/usb
-	test/input
-}
-
-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>
-		<any-service> <parent/> <any-child/> </any-service>
-	</default-route>
-	<default caps="100"/>
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-	</start>
-	<start name="usb_drv">
-		<resource name="RAM" quantum="12M"/>
-		<provides><service name="Input"/></provides>
-		<config>
-			<hid/>
-		</config>
-	</start>
-	<start name="test-input">
-		<resource name="RAM" quantum="1M"/>
-	</start>
-</config>}
-
-install_config $config
-
-#
-# Boot modules
-#
-
-# generic modules
-set boot_modules {
-	core ld.lib.so init timer usb_drv test-input
-}
-
-build_boot_image $boot_modules
-