A compartmentalized OS that isolates different digital activities in security domains using Xen-based virtualization.
