Greetings everyone, I need to use RTL or any other real-time, linux based OS for a school project with the MPC555 microcontroller. I searched the archive and didn't find anything related to the 5xx family. Anybody using this type of chip? Francis Choquette --- [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/