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>