Yash

Thank a lot. Your suggestion worked. I see the correct functionality now. ``` ****** Xilinx System Debugger (XSDB) v2020.1 **** Build date : May 27 2020-20:33:44 ** Copyright 1986-2020 Xilinx,...

I followed the steps. Here is the output on 'ldd ubuntu.exe', ``` ubuntu@ip-192-168-0-13:~/riscy-OOO/procs/build/RV64G_OOO.core_1.core_SMALL.cache_LARGE.weak.l1_cache_lru.check_deadlock/awsf1/bin$ ldd ubuntu.exe linux-vdso.so.1 => (0x00007ffe95dd5000) libfesvr.so => /home/ubuntu/riscy-OOO/tools/RV64G/lib/libfesvr.so (0x00007fe1b4eac000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fe1b4c8f000) libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007fe1b490d000)...

Thank you for quick response. I will work around the makefile with a different mirror of binuitls.