On Friday 20 April 2001 15:42, Aldo Solari wrote: ... > (i) Si existe algún tipo de mikrokernel bajo Debian el cual se > podría utilizar para aplicaciones en tiempo real; ... Quizá que valga con los paquetes rtlinux rtlinux-doc. Yo no los he usado, así que no puedo ayudarte más.