1 of 1 people found this helpful
its standard EDK2 bios that you compile with gcc.
go to the downloads section and get the board support package, all the code is there
Thanks ado, That is helpful information.
i have forwarded this to the Quark bios team Michael, as far as i know its a recent EDK2 bios but those guys can provide much more info but I do know that the full software stack, edk2, grub, linux and arduino sketch all compiles with gcc.
Ado is correct, it's a standard UEFI BIOS based on UDK2010.SR1. Along with the code and documents in the board support package and on maker.intel.com you can find further details about UDK2010 at tianocore.org.