>How about Qnx? The kernel compiles to something like 33k

I thought QNX was a real time version, and AFAIK it is a commercial product,
not Linux, but I could be wrong on this.

--
http://www.piclist.com hint: To leave the PICList
mailto:piclist-unsubscribe-request@mitvma.mit.edu