Gibt es für die Eddy v2.5 Embedded CPU-Module auch ein BSP für WinCE?

Hi,

wisst Ihr, ob (und wenn ja wo) es ein BSP für die WinCE-Plattformbuilder 
6 gibt? Diese Module wären für mein nächstes Bastelprojekt ideal, aber 
alles nur mit Linux...

Hier ist so ein Modul, das ich meine:
http://www.trenz-electronic.de/de/produkte/arm-cpu-module/systembase/eddy-v25.html