On Tue, 2015-05-19 at 11:56 -0400, Steven Rostedt wrote: > 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. I built kernel packages with the RT patch set whenever it was available for the upstream version we were using for standard kernel packages. Unfortunately there is no patch set for Linux 3.16 as used in Debian 8 'jessie' or for Linux 4.0 which is currently in unstable. Older versions are available from <http://snapshot.debian.org/package/linux/> but they will have known security issues. Ben. -- Ben Hutchings I'm not a reverse psychological virus. Please don't copy me into your sig.
Attachment:
signature.asc
Description: This is a digitally signed message part
