Integrating VirtIO and QEMU on seL4 for Enhanced Devices Virtualization Support.

Everton de Matos, Conor Lennon, Eduardo K. Viegas, Markku Ahvenjrvi, Hannu Lyytinen, Ivan Kuznetsov, Joonas Onatsu, Anh Huy Bui

Browse the full TrustCom paper archive.