[Developer] How to write device drivers

[Ben Leslie]

On Fri May 11, 2007 at 17:57:52 +0200, andre.hergenhan at open-synergy.com wrote:
>Hi everybody,
>I just wonder whether there is a documentation on how to write device
>drivers for OKL4/Iguana?
>Thanks,
>André.

Hi André,

We are currently finishing up work on our first device driver model
and this will be available in a new release of OKL4 during June.

At the moment however, it is quite possible to write device drivers by
directly requesting the hardware resources and building an integrated
device service. The best place to do this will depend a lot on the 
exact system you are trying build, however the best reference right now 
is probably the source code of the serial or timer servers.

In particular the hardware_back_memsection, and hardware_register_interrupt
call provide your program access to the hardware registers and enable 
handling of interrupts by that program.

Cheers,

Ben