Názor k článku
Podpora procesorů Intel Itanium IA-64 bude odstraněna v jádře 6.7 od Erin - Např. že v seL4 (nebo nějaký příbuzný to...

Např. že v seL4 (nebo nějaký příbuzný to byl) trvalo jedno IPC volání méně cyklů než celočíselné dělení.

Ale jde i o to že nejen emulace IA-32 byla nic moc, ale jelikož nepodporovali out of order execution a nechali to na překladačích které nebyly tak dobré.

Kdyby se tomu věnovalo více, bylo by to určitě fajn, ale AMD64 bylo industriálně v té době výhodnější řešení tak to bohužel k zániku odsouzené je.