Login / Signup

Integrating VirtIO and QEMU on seL4 for Enhanced Devices Virtualization Support.

Everton de MatosConor LennonEduardo K. ViegasMarkku AhvenjärviHannu LyytinenIvan KuznetsovJoonas OnatsuAnh Huy Bui
Published in: TrustCom (2023)
Keyphrases
  • virtual machine
  • multi tasking
  • operating system
  • distributed computing
  • data processing
  • data center
  • support systems
  • database
  • real time
  • data sets
  • knowledge base
  • mobile devices
  • cloud computing