Is there a port to this processor, or any work going on to do so for rtlinux or rtai? I've noticed that there are a number of SBC systems using this chip and the kernel seems to be supported for it. thanks, brian wallis...