Wasn't the problem with VirtualBox a dependency on the Open Watcom compiler,
which is non-libre? I want to say for the BIOS. My recollection is that the
VirtualBox developers dropped support for the only libre compiler that worked
with it because they found that compiler to be too dated, or something like
that, and considered Open Watcom to be sufficient because it's open source.
