Sounds like they are building a new OS written in rust sitting at the level of bios, beneath a standard Linux kernel. This will be an open source bios running at or below the hypervisor supervisor ring level.