They have 32-bit through Genode OS Framework and VirtualBox. That might mean they got it through what Genode project was doing with full virtualization as indic

They have 32-bit through Genode OS Framework and VirtualBox. That might mean they got it through what Genode project was doing with full virtualization as indicated here: https://genode.org/documentation/release-notes/16.08#VirtualBox_4_on_top https://genode.org/documentation/release-notes/16.08#Virtual... Genode/Muen might just not be able to handle 64-bit yet. The Genode versions are also a bit behind since it's a small number of people doing the upgrades on components ranging from custom to common.