Found the actual hypervisor[0]. It is GPLv2.

0. https://github.com/losfair/l4h