Designing and Implementing an Embedded Linux for Limited Resource Devices. - Hannu Lyytinen; Keijo Haataja; Pekka J. Toivanen (ICN, 2009)

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)