From d5a7011ad20ba5ba91f1371f9d40154035d5d768 Mon Sep 17 00:00:00 2001
From: Sergej Schumilo <sergej@schumilo.de>
Date: Tue, 11 Jan 2022 14:35:24 +0100
Subject: [PATCH] checkout specific libxdc commit

---
 compile_qemu_nyx.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compile_qemu_nyx.sh b/compile_qemu_nyx.sh
index 7225af05ca..cae4137b9c 100755
--- a/compile_qemu_nyx.sh
+++ b/compile_qemu_nyx.sh
@@ -37,6 +37,7 @@ if [ ! -f "/usr/lib/libxdc.so" ] || [ ! -f "/usr/include/libxdc.h" ]; then
   sudo make install 
   cd ..
   cd libxdc
+  git checkout 641de7539e99f7faf5c8e8f1c8a4b37a9df52a5f
   sudo make install
   cd ..
 fi