Unter einem eigens Linux compilierten Kernel sollte das super sein !

Linux sollte mit den Kapazitäten, 25% schneller sein,
nach der Kernel-Kompilation.
Ein 1600er zu 1200.
Durch das Task-Switching auch noch Vorteile, tja.
Prima.