About the SIG VMM category

[gerwin.klein]

Special Interest Group on Virtual Machine Monitors and Virtual Machines on top of seL4