From db0e86fa4162cff12d260f1e111762abf8f1fcb6 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 14 Aug 2020 11:55:07 +0200
Subject: [PATCH] Remove drivers/input/dummy pseudo driver

With the transition from the input-session to the event-session
interface, the use case for this component has vanished.

Issue #3827
---
 repos/os/src/drivers/input/dummy/README    |  1 -
 repos/os/src/drivers/input/dummy/main.cc   | 95 ----------------------
 repos/os/src/drivers/input/dummy/target.mk |  3 -
 3 files changed, 99 deletions(-)
 delete mode 100644 repos/os/src/drivers/input/dummy/README
 delete mode 100644 repos/os/src/drivers/input/dummy/main.cc
 delete mode 100644 repos/os/src/drivers/input/dummy/target.mk

diff --git a/repos/os/src/drivers/input/dummy/README b/repos/os/src/drivers/input/dummy/README
deleted file mode 100644
index 7285524143..0000000000
--- a/repos/os/src/drivers/input/dummy/README
+++ /dev/null
@@ -1 +0,0 @@
-Dummy input driver for testing purposes, only.
diff --git a/repos/os/src/drivers/input/dummy/main.cc b/repos/os/src/drivers/input/dummy/main.cc
deleted file mode 100644
index b59d109cd7..0000000000
--- a/repos/os/src/drivers/input/dummy/main.cc
+++ /dev/null
@@ -1,95 +0,0 @@
-/**
- * \brief  Input driver front-end
- * \author Norman Feske
- * \author Christian Helmuth
- * \date   2006-08-30
- */
-
-/*
- * Copyright (C) 2006-2017 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
- */
-
-/* Genode */
-#include <base/env.h>
-#include <base/signal.h>
-#include <base/heap.h>
-#include <base/component.h>
-#include <base/rpc_server.h>
-#include <root/component.h>
-#include <input_session/input_session.h>
-#include <input/event.h>
-#include <base/log.h>
-
-using namespace Genode;
-
-
-namespace Input {
-
-	class Session_component : public Genode::Rpc_object<Session>
-	{
-		private:
-
-			Dataspace_capability _ev_ds_cap;
-
-		public:
-
-			Session_component(Dataspace_capability ev_ds_cap)
-			: _ev_ds_cap(ev_ds_cap) { }
-
-			Dataspace_capability dataspace() override { return _ev_ds_cap; }
-
-			bool pending() const override { return 0; }
-
-			int flush() override
-			{
-				/* return number of flushed events */
-				return 0;
-			}
-
-			void sigh(Genode::Signal_context_capability) override { }
-	};
-
-
-	class Root : public Root_component<Session_component>
-	{
-		protected:
-
-			Dataspace_capability _ev_ds_cap;
-
-			Session_component *_create_session(const char *) override {
-				return new (md_alloc()) Session_component(_ev_ds_cap); }
-
-		public:
-
-			Root(Genode::Entrypoint &ep, Allocator &md_alloc,
-			     Dataspace_capability ev_ds_cap)
-			:
-				Root_component<Session_component>(ep, md_alloc),
-				_ev_ds_cap(ev_ds_cap)
-			{ }
-	};
-}
-
-
-struct Main
-{
-	Genode::Env &env;
-
-	Sliced_heap heap { env.ram(), env.rm() };
-
-	Dataspace_capability ev_ds_cap {
-		env.ram().alloc(1000*sizeof(Input::Event)) };
-
-	Input::Root root { env.ep(), heap, ev_ds_cap };
-
-	Main(Genode::Env &env) : env(env)
-	{
-		env.parent().announce(env.ep().manage(root));
-	}
-};
-
-
-void Component::construct(Genode::Env &env) { static Main server(env); }
diff --git a/repos/os/src/drivers/input/dummy/target.mk b/repos/os/src/drivers/input/dummy/target.mk
deleted file mode 100644
index 7d81634290..0000000000
--- a/repos/os/src/drivers/input/dummy/target.mk
+++ /dev/null
@@ -1,3 +0,0 @@
-TARGET = dummy_input_drv
-SRC_CC = main.cc
-LIBS   = base