[okl4-developer] [Developer] How to write device drivers-interesting solutions for fiasco

[Hal Ashburner]

Jorge Torres wrote:
> Hi,
>
> I don't know why, but something tells me you will find this very
> interesting,
> http://demo.tudos.org/dsweeper_tutorial.html
> Please check the "DDE Development At TU Dresden" for Linux and
> FreeBSD, they
> have this DDE-Kit, which worths to have a look.
Hi Jorge,
We certainly know of the work being done at Dresden.
Have you seen this as well?
https://www.ertos.nicta.com.au/software/darbat/
You might find Geoff's thesis on I/O Kit drivers for L4 interesting.

Kind regards,
Hal