rtlinux.org is far from dead. In fact, it's just had a rather expensive facelift.
} The old archives seem to be still available on www.realtimelinux.org . } A search on google brings in most cases a link to www.rtlinux.org and } realtimelinux.org, a site that seems to be not very active (but they } have the old archive, a very valuable item). rtlinux.org is dead (maybe } it can rise from the dead again). } } Stefan } } -- [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/
