plat/kvm: Add configuration hint for EFI

Adds an hint in `menuconfig` that appears if the configuration dependencies
are not met for building a QEMU image compatible to boot from an EFI
firmware.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #1038

diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index 14369a213cd5a2d80e9a559295d0f92cd1dc7529..7ac949a271be001ed51ff97e744d689fc709a294 100644 (file)
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -15,7 +15,7 @@ menuconfig PLAT_KVM
 if (PLAT_KVM)
 
 choice
-       prompt "Booting environment"
+       prompt "Boot protocol"
 
 config KVM_BOOT_PROTO_MULTIBOOT
        bool "Multiboot"
@@ -43,6 +43,8 @@ config KVM_BOOT_EFI_STUB
        help
                Make Unikraft bootable by UEFI firmware
 
+comment "Hint: EFI stub depends on OPTIMIZE_PIE"
+       depends on !OPTIMIZE_PIE && !KVM_VMM_FIRECRACKER
 endchoice
 
 if KVM_BOOT_EFI_STUB