Re: Serial Port Device Driver for Pistachio?

Hey Jan

Great material, thanks for posting!

Cesar


On 12/18/06, Jan Stoess <[email protected]> wrote:
>
> 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.
> >
>
>
>