La virtualización juega un papel esencial en proporcionar seguridad a los sistemas computacionales al aislar los entornos de ejecución. Muchas soluciones de software, llamadas hipervisores, han sido propuestas para proporcionar capacidades de virtualización. Sin embargo, solo unas pocas fueron diseñadas para ser implementadas en el borde de la red en dispositivos con menos recursos de computación en comparación con los servidores en la Nube. Entre el reducido número de software ligero que puede desempeñar el papel de hipervisor, se destaca seL4 al proporcionar una Base de Computación de Confianza pequeña y componentes formalmente verificados, mejorando su seguridad. A pesar de que hoy en día se lleva más de una década con la tecnología del microkernel seL4, su usuario y herramientas existentes aún son escasos y no muy maduros. En los últimos años, el principal esfuerzo ha sido aumentar la madurez del propio kernel, y no de las herramientas y aplicaciones que pueden alojarse en la parte superior. Por lo tanto, actualmente carece de un soporte adecuado para un Monitor de Máquina Virtual de usuario completo, y el existente es bastante fragmentado. Este artículo discute las posibles direcciones hacia un VMM estándar al presentar nuestra visión de los principios de diseño y el conjunto de funciones necesarias. Este artículo no tiene la intención de definir un VMM estándar, pretendemos instigar esta discusión a través de la comunidad de seL4.