names memory overlap error

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Sep 26 17:52:04 CEST 2005


On Mon Sep 26, 2005 at 07:05:17 -0700, Shakthi Kannan wrote:
> --- Adam Lackorzynski <adam at os.inf.tu-dresden.de>
> wrote:
> > That's not really any of those. DDE is more about
> > giving a Linux driver
> > the environment it expects (kmalloc, jiffies,
> > interupts, etc.). Besides
> > that it's directly running on the kernel.
> 
> I'll have a look at the DDE sources. Is this what you
> are referring to?
> 
> http://os.inf.tu-dresden.de/l4env/doc/dde_linux/index.html

Yes.

> Can you point me to the exact sources and any other
> documentation related to this. 

The sources are in l4/pkg/dde_linux, the example directory in there
might be of interest too.




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list