* Alexandra N. Kossovsky | 2014-05-15 12:58:25 [+0400]: you seem to have have Xeon / i7. Can't it run x8664 / amd64? I have no idea what is going wrong here except that something is preventing rcu from running. Sebastian -- 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