Hi, I saw in the download page ( https://www.kernel.org/pub/linux/kernel/projects/rt/) that between the 4.0 patch (patches-4.0.8-rt6.tar.xz, July 2015) and the 4.1 patch (patches-4.1.13-rt15.tar.xz, November) there is a time difference of about 4 months). My question is about a patch against 4.2 ? when is it expected to be released ? are there any chances that it will be available this month ? Regards, Kevin -- 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
