rpi_gpio_drv: remove dep from rpi board header

Ref #4396
This commit is contained in:
Stefan Kalkowski 2022-01-28 13:17:00 +01:00 committed by Norman Feske
parent 10d7741a26
commit 00f7819623
2 changed files with 4 additions and 2 deletions

View File

@ -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
{

View File

@ -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>