libsel4vm

A guest hardware virtualisation library for X86 (32-bit) and ARM (aarch32 & aarch64). This is a consolidated library composed of libraries previously known as (but now deprecated) ‘libsel4vmm’ (x86) and ‘libsel4arm-vmm’ (arm).

Reference implementations using this library are:

• CAmkES VM (x86) - https://github.com/seL4/camkes-vm
• CAmkES ARM VM (arm) - https://github.com/SEL4PROJ/camkes-arm-vm