There are still glitches, and it may be occasionally unavailable due to continuing maintenance... --- [rtl] --- To unsubscribe: echo "unsubscribe rtl" | mail majordomo@rtlinux.cs.nmt.edu OR echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.cs.nmt.edu ---- For more information on Real-Time Linux see: http://www.rtlinux.org/~rtlinux/