plat/linuxu: Add dependency on `PIE` not being enabled

Building `linuxu` with the `PIE` build options results in errors
being issued as the way we currently implement PIE is not suited
for this platform yet.

Therefore, make sure that it is impossible to build `linuxu` as
long as `PIE` is enabled.

Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Dragos Petre <dragos.petre27@gmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #772

diff --git a/plat/linuxu/Config.uk b/plat/linuxu/Config.uk
index 44a03d6afc7b977127b008ec55e5efd5a836c27c..c396e614fe277e47bb1cdbedc5746689f41cb4f3 100644 (file)
--- a/plat/linuxu/Config.uk
+++ b/plat/linuxu/Config.uk
@@ -3,6 +3,7 @@ menuconfig PLAT_LINUXU
        default n
        depends on !HAVE_SYSCALL && !HAVE_SMP && (!ARCH_ARM_32 || !HAVE_SCHED)
        depends on !HAVE_PAGING
+       depends on !OPTIMIZE_PIE
        select LIBUKDEBUG
        select LIBUKALLOC
        select LIBNOLIBC if !HAVE_LIBC