Korbinian Ederer korbinian.ederer at in.tum.de
Tue Aug 5 11:04:43 CEST 2014

I'm searching for some Informations about using the dde-kit.
My goal is to use the SocketCan driver from Linux eith the l4re on an 
ARM BeagleBone Black (Omap3x).
The Manual at http://os.inf.tu-dresden.de/ddekit/ did not work because 
of missing l4/sys/cache.h

After some searching I discovered a copy of dde also in the fiasco 
snapshot in l4/pkg/dde/ but have no idea of how to use it.

I would be very helpfull to get some advice about usefull documentation 
or some hints about the usage of dde

Thanks a lot

Korbinian Ederer

More information about the l4-hackers mailing list