2015-05-20 2:25 GMT+02:00 Ben Hutchings <ben@xxxxxxxxxxxxxxx>: > On Tue, 2015-05-19 at 18:10 -0400, Steven Rostedt wrote: >> On Wed, 20 May 2015 00:03:32 +0200 >> Jaromír Mikeš <mira.mikes@xxxxxxxxx> wrote: >> >> > 2015-05-19 21:06 GMT+02:00 Steven Rostedt <rostedt@xxxxxxxxxxx>: >> > > On Tue, 19 May 2015 20:45:58 +0200 >> > > Jaromír Mikeš <mira.mikes@xxxxxxxxx> wrote: >> > > >> > >> Do you (rt devs) plan make patches again for latest kernels as you >> > >> have done before? >> > > >> > > Ideally, we will get RT into mainline. There's still a lot of work to >> > > do, and that's somewhat where the focus is. >> > >> > Yes, but as I understand this process could last for years and some RT >> > patches will be always maintained out of mainline. >> > Or something changed? >> > What should do user which need RT kernel now? >> >> Well, 4.0-rt has just been released :-) > > ...and now imported into the Debian packaging repo. > ... awesome ;) -- 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
