El microkernel L4 tiene 20 años de uso y evolución. Además, tiene una comunidad de usuarios y desarrolladores muy activa junto con versiones comerciales desplegadas en sistemas a gran escala y críticos. En este artículo se examinarán las lecciones aprendidas después de 20 años de diseño y desarrollo de microkernels L4, desde sus orígenes hasta las últimas implementaciones. [Este artículo es un extracto, pero se puede descargar la publicación completa en PDF: https://www.nicta.com.au/pub-download/full/8988 615 KB]