Barrapunto

Con "virtualización" me refería a la virtualización por hardware mediante "hipervisor", i.e., permitiendo N instancias con todos los niveles de protección de memoria, para correr N sistemas operativos (con espacio/s privilegiado/s y de usuario) y un hipervisor para gestionar la visibilidad de dispositivos y resto de recursos.

Lo de direccionar más de 4GB de memoria mediante segmentación me parece excelente, para mantener la arquitectura lo más sencilla posible (menos transistores). Por poner un ejemplo análogo em otra arquitectura, con frecuencia se compila código PPC32 en Linux PPC64 en aplicaciones que hacen mucho uso de punteros (árboles), para aprovechar mejor la cache de datos (en el caso de aplicaciones "antiguas" que todavía no se hayan adaptado para usar índices de menos bits en lugar de punteros para obtener un rendimiento equiparable).

Acabo de ver en Anandtech [anandtech.com], que sí soporta virtualización por hardware como extensión al ISA ARMv7 (!). Esto es la bomba (!!).