Hello Marco,
We don't have a DCE device for that product. However, we have lots of tools that make it easy to add new DCE devices--it's probably no more than a day's work. In fact, it probably could be supported through our GSD device--in which case it may take only a couple hours and not even require real programming skills. Take a look at our docs--there's even a "create your own DCE device in 5 minutes" tutorial. If you run into trouble, let us know. If the board is supported through GSD, it's automatically available to all pluto users. If you need a C++ DCE Device, we can put the code in our svn repository so it's automatically built and included with each new release.