Hello, does any of the OE devs (.eu) have a *unused* EFIKA board I could buy 2nd hand? Or a good .eu source for a new board? I want to pick up my OE work on it, mainly the real-time kernel, but I blew up mine (wrong PCI riser board, not sure...) Thanks, -- Leon