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... -- [rtl] --- To unsubscribe: echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED] -- For more information on Real-Time Linux see: http://www.rtlinux.org/rtlinux/
