On Thu, 21 May 2015 12:23:25 +0000 Staffan Tjernstrom <stjernstrom@xxxxxxxxxxxxxx> wrote: > Then again, CentOS 5 (and other variants of that ilk) is under > official support until early 2017[1], and it uses 0.9.8[2] The problem only appears >=2.0 && <2.0.9. Henning -- 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