Michael A. Doran, Nabeeh Kandalaft. Embedded Virtualization on RISC-V with seL4. In Satyajit Chakrabarti, Rajashree Paul, editors, 14th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2023, New York, NY, USA, October 12-14, 2023. pages 736-740, IEEE, 2023. [doi]
Abstract is missing.