On Mon, May 03, 1999 at 01:02:25PM +0200, Bernhard Kuhn wrote: > Christophe Kumsta wrote: > the copying-licence. Is RTLinux still GPL? Yes. --- [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/