I2C / SPI drivers for the Raspberry Pi

[Norman Feske]

Hi Pirmin,

> Are there some examples, where I can look how such a hardware
> abstraction server should be structurized?

a good candidate is the existing GPIO driver for the i.MX53 platform
located at repos/os/src/drivers/gpio/imx53. It shows well how to keep
the three main concerns of a device-driver component well separated:

* The device specification (i.e., the register layout) resided in
  the header gpio.h, expressed in C++ types,
* The driver logic is implemented in driver.h,
* The glue with the Genode world is implemented main.cc

The driver uses the MMIO framework, which is described in Section 8.15
of the manual.

Happy hacking!

I'm off to the Hack'n'Hike for now :-)

Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth