On 04/09/2011 12:05 AM, Niccolò Belli wrote:
Which kernel version does tip contain now?
The one that you recently called "a useless, ancient kernel". Something that is useless for you, is not necessarily useless for all of us. -Carsten. -- 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