This is a zip of the our source code for the kernel, EDK project, and root file system. It also contains configuration files for the build tools. sources.tgz