diff --git a/userspace/hardware_setup.sh b/userspace/hardware_setup.sh
index 9d7e3de..2690769 100755
--- a/userspace/hardware_setup.sh
+++ b/userspace/hardware_setup.sh
@@ -3,7 +3,9 @@
 # Install driver deb files (we're fine with overwriting stuff too)
 cd /tmp/agnos/debs
 
-# Fixing issue with missing /lib64
+# Setting up usr merged lib64 since it's not done by default (in 24.04-base)
+# https://wiki.debian.org/UsrMerge
+# https://www.freedesktop.org/wiki/Software/systemd/TheCaseForTheUsrMerge/
 sudo mkdir /usr/lib64
 sudo ln -s usr/lib64 /lib64