This package provides a library with convenience functions useful when working with vCPUs in the L4Re operating system.
This package is part of the L4Re Operating System Framework. For documentation and build instructions please refer to l4re.org.
We welcome contributions. Please see the contributors guide.
Detailed licensing and copyright information can be found in the LICENSE file.