Hello, Sorry to ask but where is the Debian packaging repo for 4.0-rt ? Thanks in advance, CB > > > 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. > > Ben. > > -- > Ben Hutchings > I'm not a reverse psychological virus. Please don't copy me into your sig. -- 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
