Will the RealTime Linux be part of the kernel distribution?See http://luz.cs.nmt.edu/~rtlinux/. Or is there a goodreason not to introduce it? b.P.S.> Cc: to bk@gamers.org appreciated. I got a virtually non-existent USENET feed right now.