DDE-Kit

Korbinian Ederer <[email protected]> Tue, 05 Aug 2014 11:04:43 +0200

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<[email protected]>

Hello,
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