Embedded Virtualization on RISC-V with seL4. - Michael A. Doran; Nabeeh Kandalaft (UEMCON, 2023)