Ich bin nun kein Linux-Experte, um diese Meldungen auszuwerten. Aber vielleicht ist die Taktfrequenz nicht hoch genug. Für den Realtimekernel werden mindestens 800 MHz empfohlen. Mein Rechner hat nur 600 MHz, und es geht schon noch so. Wie gesagt, die genauen Daten wären hilfreicher.