/src/vendorcode/intel/edk2/

• ../
• UDK2015
• uefi_2.4