On Mon, 18 May 2015 22:13:40 +0200 Jaromír Mikeš <mira.mikes@xxxxxxxxx> wrote: > 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? > I believe Ben is the one that maintains the RT kernels in Debian. -- Steve -- 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
