@misc{indiciae63627b2faa01,
  title = {seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM},
  author = {Everton de Matos and Markku Ahvenjärvi},
  year = {2022},
  doi = {10.3390/electronics11244201},
  url = {https://arxiv.org/abs/2210.04328},
  note = {Source identifier: 2210.04328}
}