Files
Jibo-Platform-Tools-OLD/u-boot/arch/x86/lib/efi/Kconfig