Hi all, We quite recently had RT in debian easily accessible for all users what I personally consider to be great achievement. But because RT development interruption we don't have fresh RT kernels anymore. Pengutronix provided debian packages of RT kernels before. Is there any place where to get debian packages of RT kernels? best regards mira -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html