RE: Serial Port Device Driver for Pistachio?

Martin,

Our lecture/lab course system design and implementation
http://i30www.ira.uka.de/teaching/courses/lecture.php?courseid=133

contains some material on how to write a driver on top of L4. On the
webpage referenced above you'll find, amongst other stuff, lecture
slides including a set on L4 device driver design, as well as and other
material such as manuals for the serial port and legacy PIC.  Maybe this
helps you. We've also got some toy/student OSes for L4 referenced at
l4ka.org that contain basic device driver support for keyboard, vga and
the like. (See http://l4ka.org/relatedprojects.php)

-Jan



> -----Original Message-----
> From: [email protected] [mailto:[email protected]
> karlsruhe.de] On Behalf Of Christian, Martin, OPEE45
> Sent: Monday, December 18, 2006 1:20 PM
> To: [email protected]
> Subject: Serial Port Device Driver for Pistachio?
> 
> Hi!
> How do I write a simple device driver for Pistachio, such as a serial
> port driver? I was looking in the L4Ka::Pistachio sources and in the
> IDL4 sources, but didn't find anything. At the moment I'm using the
KDB
> IO, for which I've written the getc(), putc() functions. But I would
> like to have a "real" serial port driver. It should:
> a) run in User Mode
> b) register for an interrupt, that is received if a char arrives
> c) should implement the getc(), putc()
> 
> Is there some example code (IDL, C)? Or is there maybe a device driver
> tutorial? I'm sure someone has done something like this already.
> 
> Thanks,
> 
> Martin.
>