remove SD card driver

lib/mk/spec/zynq_parallella/sd_card_drv.mk

@@ -0,0 +1,13 @@
+# use Raspberry Pi SD card driver 
+
+TMP := $(call select_from_repositories,src/drivers/sd_card/spec/rpi/driver.cc)
+OS_DIR := $(TMP:%src/drivers/sd_card/spec/rpi/driver.cc=%)
+
+INC_DIR += $(OS_DIR)/src/drivers/sd_card/spec/rpi
+SRC_CC  += $(OS_DIR)/src/drivers/sd_card/spec/rpi/driver.cc
+
+INC_DIR += $(OS_DIR)/src/drivers/sd_card
+SRC_CC  += main.cc
+LIBS    += base
+
+vpath %.cc $(OS_DIR)/src/drivers/sd_card

src/drivers/sd_card/spec/zynq/main.cc

@@ -1,58 +0,0 @@
-/*
- * \brief  SD-card driver for Zynq boards
- * \author Norman Feske
- * \authot Timo Wischer
- * \date   2014-09-21
- */
-
-/*
- * Copyright (C) 2014 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-/* Genode includes */
-#include <base/log.h>
-#include <os/server.h>
-
-/* local includes */
-#include <driver.h>
-
-
-struct Main
-{
-	Server::Entrypoint &ep;
-
-	struct Factory : Block::Driver_factory
-	{
-		Block::Driver *create() {
-			return new (Genode::env()->heap()) Block::Sdhci_driver(false, true); }
-
-		void destroy(Block::Driver *driver) {
-			Genode::destroy(Genode::env()->heap(),
-			                static_cast<Block::Sdhci_driver *>(driver)); }
-	} factory;
-
-	Block::Root root;
-
-	Main(Server::Entrypoint &ep)
-	: ep(ep), root(ep, Genode::env()->heap(), factory)
-	{
-		Genode::log("--- SD card driver ---");
-
-		Genode::env()->parent()->announce(ep.manage(root));
-	}
-};
-
-
-/************
- ** Server **
- ************/
-
-namespace Server {
-	char const *name()             { return "sd_card_ep";        }
-	size_t stack_size()            { return 2*1024*sizeof(long); }
-	void construct(Entrypoint &ep) { static Main server(ep);     }
-}
-

src/drivers/sd_card/spec/zynq/target.mk

@@ -1,7 +0,0 @@
-TARGET   = sd_card_drv
-REQUIRES = zynq_sdhci
-SRC_CC   = main.cc
-LIBS     = base server
-INC_DIR += $(PRG_DIR)
-INC_DIR += $(REP_DIR)/../os/src/drivers/sd_card/
-INC_DIR += $(REP_DIR)/../os/src/drivers/sd_card/spec/rpi