There is a port to MIPS in the standard RTLinux GPL tree. Just look in main/mips/ and schedulers/mips/.
} It seems that you have to pay for the MIPS-port of RTLinux.. right? } } Does this "Patent License" or something else prevent that you port RTLinux } to MIPS yourself? } } Why is the MIPS-port not free? } } /David Marqvar } } -- [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/ -- [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/
