seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM. - Everton de Matos; Markku Ahvenjärvi (CoRR, 2022)

Integrating VirtIO and QEMU on seL4 for Enhanced Devices Virtualization Support. - Everton de Matos; Conor Lennon; Eduardo K. Viegas; Markku Ahvenjärvi; Hannu Lyytinen; Ivan Kuznetsov; Joonas Onatsu; Anh Huy Bui (TrustCom, 2023)