Show HN: Hypervisor toolkit for low cost dual core Cortex-A9 platform

Just curious, in a nutshell, what are the differences between your L4 implementation and OKL4 (or older pistachio kernels)?