Open Source BIOS at Scale We gave it a try, it worked. You can jump in!