From cf81c787e1daf0c10f200b76ef6ff0d18a00fd4c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 21 Jan 2017 21:01:02 +0100
Subject: [PATCH] cli_monitor: remove unused gdb_command_config file

This file is unused since the commit "CLI monitor: remove unused GDB
command".

Issue #1832
---
 .../os/src/app/cli_monitor/gdb_command_config | 65 -------------------
 1 file changed, 65 deletions(-)
 delete mode 100644 repos/os/src/app/cli_monitor/gdb_command_config

diff --git a/repos/os/src/app/cli_monitor/gdb_command_config b/repos/os/src/app/cli_monitor/gdb_command_config
deleted file mode 100644
index a6b92ee6e0..0000000000
--- a/repos/os/src/app/cli_monitor/gdb_command_config
+++ /dev/null
@@ -1,65 +0,0 @@
-<!-- configuration template for the 'gdb' command -->
-
-<config>
-	<parent-provides>
-		<service name="ROM"/>
-		<service name="RAM"/>
-		<service name="PD"/>
-		<service name="RM"/>
-		<service name="CPU"/>
-		<service name="LOG"/>
-		<service name="Timer"/>
-		<service name="Terminal"/>
-	</parent-provides>
-
-	<!-- additional start nodes can be inserted here -->
-
-	<start name="terminal_gdb">
-		<binary name="terminal_crosslink"/>
-		<resource name="RAM" quantum="1M"/>
-		<provides> <service name="Terminal"/> </provides>
-		<route>
-			<any-service><parent/><any-child/></any-service>
-		</route>
-	</start>
-	<start name="noux">
-		<resource name="RAM" quantum="24M"/>
-		<route>
-			<service name="Terminal" label=""> <parent/> </service>
-			<service name="Terminal" label="noux(terminal_fs)">
-				<child name="terminal_gdb"/> </service>
-			<any-service> <any-child/> <parent/> </any-service>
-		</route>
-		<config>
-
-			<!-- the GDB <start> node gets generated above this comment -->
-
-			<fstab>
-				<dir name="dev"><terminal name="gdb"/></dir>
-
-				<!-- the GDB binary is expected in /bin -->
-				<tar name="gdb.tar" at="/"/>
-
-				<!-- the GDB target binaries are expected in /gdb -->
-				<!-- the GDB target source is expected in /gdb/src -->
-				<dir name="gdb">
-					<tar name="gdb_target.tar"/>
-					<dir name="src"><tar name="gdb_target-src.tar"/></dir>
-				</dir>
-
-			</fstab>
-		</config>
-	</start>
-	<start name="gdb_monitor">
-
-		<!-- the <config> node gets generated above this comment -->
-
-		<resource name="RAM" quantum="1G"/>
-		<route>
-			<service name="Terminal"><child name="terminal_gdb"/></service>
-			<any-service> <any-child/> <parent/> </any-service>
-		</route>
-	</start>
-</config>
-
-