(there's some Linux kernel stuff on their web site, no source code available).
I tried to follow up that once. The problem is that the kernel is not done by Elbox, and the guy who once did it most likely does not have the sources anymore.
When I contacted him, he wasnt even aware that Elbox had put it on their site - he had just posted it on the mediator list for someone to test. Elbox said they would not mind putting up the sources, if they got them, even if they contained stuff normally disclosed by NDA.
Sadly, the sources never reappeared. :-(
