[Minios-devel] [UNIKRAFT PATCH 4/5] plat/xen: Don't select LIBUKLOCK and LIBUKLOCK_SEMAPHORE for arm.

[Dafna Hirschfeld <dafna3@xxxxxxxxx>]

Since LIBUKLOCK selects the thread library and threads are not
yet supported for arm.

Signed-off-by: Dafna Hirschfeld <dafna3@xxxxxxxxx>
---
 plat/xen/Config.uk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plat/xen/Config.uk b/plat/xen/Config.uk
index d0143e9..bd61b13 100644
--- a/plat/xen/Config.uk
+++ b/plat/xen/Config.uk
@@ -3,8 +3,8 @@ menuconfig PLAT_XEN
        default n
        depends on (ARCH_X86_32 || ARCH_X86_64 || ARCH_ARM_32)
        select LIBUKDEBUG
-       select LIBUKLOCK
-       select LIBUKLOCK_SEMAPHORE
+       select LIBUKLOCK if !ARCH_ARM_32
+       select LIBUKLOCK_SEMAPHORE if !ARCH_ARM_32
        select LIBNOLIBC if !HAVE_LIBC
        select LIBFDT if ARCH_ARM_32
        select XEN_DBGEMERGENCY if ARCH_ARM_32
-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel