COSCUP 2022

Your locale preferences have been saved. We like to think that we have excellent support for English in pretalx, but if you encounter issues or errors, please contact us!

José Martins

JOSÉ MARTINS is a Ph.D. student and teaching assistant at the Embedded Systems Research Group, University of Minho, Portugal. Jose holds a Master's in Electronics and Computer Engineering - during his Masters, he also was a visiting student at the University of Wurzburg, Germany. Jose has a significant background in operating systems and virtualization for embedded systems. Over the last few years, he has also been involved in several projects in the aerospace, automotive, and video industries. He is the main author of the Bao hypervisor.


Session

07-31
15:00
45min
All you ever wanted to know about open source RISC-V Virtualization (but no one ever told you)
Sandro Pinto, José Martins

n this talk, Dr. Sandro Pinto and Jose Martins will start by covering the RISC-V hypervisor extension and discuss the implementation of this extension in two different RISC-V cores: Rocket and CVA6. They will then describe the port of the Bao hypervisor for RISC-V and explain all the building blocks required to build a full virtualized RISC-V system.

System Software
TR213