Il 18/04/2011 14:41, Niccolò Belli ha scritto: > Where should I report the bug? I reported it upstream: https://bugzilla.kernel.org/show_bug.cgi?id=33602 Please let me know if there is an -rt bug tracker. Cheers, Darkbasic