TY  - RPRT
TI  - seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM
AU  - Everton de Matos
AU  - Markku Ahvenjärvi
PY  - 2022
DO  - 10.3390/electronics11244201
UR  - https://arxiv.org/abs/2210.04328
ID  - 2210.04328
ER  -