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