Hola, el kernel-rt solía estar junto a los otros, como linux-image-[ARCH]-rt o algo similar (si no estoy recordando mal), pero ahora no lo encuentro por ningún lado, ¿alguien podría decirme cómo instalar el kernel-rt en Debian Testing?, ¿cambió de lugar/nombre/paquete acaso?, ¿tiene algo que ver con Xenomai? Desde ya les agradezco, ¡saludos!