Die Kernel-Spezialisten von Linutronix gehören künftig zu Intel. Die Firma hat die Echtzeit-Patches erstellt und pflegt die x86-Architektur.