From 00f7819623fc8683aa5fcca233eaf442013e97ca Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 28 Jan 2022 13:17:00 +0100
Subject: [PATCH] rpi_gpio_drv: remove dep from rpi board header

Ref #4396
---
 repos/os/src/drivers/gpio/rpi/driver.h | 5 ++++-
 repos/os/src/drivers/gpio/rpi/main.cc  | 1 -
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/gpio/rpi/driver.h b/repos/os/src/drivers/gpio/rpi/driver.h
index 3ed90c5a50..a68895fd8f 100644
--- a/repos/os/src/drivers/gpio/rpi/driver.h
+++ b/repos/os/src/drivers/gpio/rpi/driver.h
@@ -19,7 +19,6 @@
 
 /* Genode includes */
 #include <base/log.h>
-#include <drivers/defs/rpi.h>
 #include <gpio/driver.h>
 #include <irq_session/connection.h>
 
@@ -30,6 +29,10 @@ static int verbose = 1;
 
 namespace Gpio { class Rpi_driver; }
 
+namespace Rpi {
+	enum { GPIO_CONTROLLER_BASE = 0x20200000,
+	       GPIO_CONTROLLER_SIZE = 0x1000      };
+};
 
 class Gpio::Rpi_driver : public Driver
 {
diff --git a/repos/os/src/drivers/gpio/rpi/main.cc b/repos/os/src/drivers/gpio/rpi/main.cc
index be744827e9..dbab703881 100644
--- a/repos/os/src/drivers/gpio/rpi/main.cc
+++ b/repos/os/src/drivers/gpio/rpi/main.cc
@@ -18,7 +18,6 @@
 #include <base/component.h>
 #include <base/log.h>
 #include <base/heap.h>
-#include <drivers/defs/rpi.h>
 #include <gpio/component.h>
 #include <gpio/config.h>