EDK II Source Code

[sumo]

The BIOS is clearly EDK II based. Will the actual source code be provided? Thanks!