To platí pro AMD. Intel na to používá tzv. minute Intel Architecture, což je x86 jádro Quark (trošku jako modernizovné Pentium z 90. let) - to je ta nová verze, co běží na Minixu. Předtím než na ni přešel, tak tam byl systém ThreadX, ale ten běžel na ARC, ne ARM. ARC jsou jiná licenční jádra od firmy Synopsys. Samozřejmě je ale možné, že Intel ještě někde jinde taky pro nějaký řadič nebo řídící jednotku používá nějaké schované jádro ARM.