UEFI lightweight development toolkit. Based on Intel EFI toolkit which was superseeded by much heavier EDK2.