Everton de Matos, Conor Lennon, Eduardo K. Viegas, Markku Ahvenjärvi, Hannu Lyytinen, Ivan Kuznetsov, Joonas Onatsu, Anh Huy Bui. Integrating VirtIO and QEMU on seL4 for Enhanced Devices Virtualization Support. In Jia Hu 0001, Geyong Min, Guojun Wang, Nektarios Georgalas, editors, 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, Exeter, UK, November 1-3, 2023. pages 1076-1085, IEEE, 2023. [doi]
Abstract is missing.