1. Ardalan Amiri Sani, Kevin Boos, Shaopu Qin, and Lin Zhong. 2014. I/O paravirtualization at the device file boundary. In Proc. ACM ASPLOS.
2. Ardalan Amiri Sani, Kevin Boos, Min Hong Yun, and Lin Zhong. 2014. Rio: a system solution for sharing I/O between mobile systems. In Proc. ACM MobiSys.
3. ARM. 2012. ARM Compiler toolchain version 5.01 update 1. https://developer.arm.com/documentation/dui0471.
4. Ricardo A Baratto, Leonard N Kim, and Jason Nieh. 2005. Thinc: A virtual display architecture for thin-client computing. In Proc. ACM SOSP.
5. Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. 2020. Theseus: an experiment in operating system structure and state management. In Proc. USENIX OSDI.