DDEkit for Linux2.6 from svn

[Shakthi Kannan]

Hi,

I would like to know from where I can get the DDEKit (Device Driver
Environment) for Linux2.6 from svn?
http://wiki.tudos.org/DDE/DDEKit

>From the svn documentation:
http://www.inf.tu-dresden.de/index.php?node_id=1735&ln=en

./repomgr modules lists the following: dice, fiasco, hello, l4env,
l4linux-2.6-env.

Thanks!

SK

--
Shakthi Kannan
http://www.shakthimaan.com