Sorry, that message was sent too early. Additionally I put the boot output here: http://pastebin.ch/1009Please let me know if you need any other information, which may help fixing this issue.
Thanks. Cheers, Florian -- 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
