Hello, I would like to know if some of you are using small Linux kernels with RT-Linux, and what small kernels. I remember that somebody wrote on the mailing list that he was using tomsrtbt, but I don't find informations about what hardware is needed (in particular how much RAM...) to use with it. Any info appreciated, Vincent --- [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/~rtlinux/
