From 5ebebdcbabe0fa99370da985e80388615d11c767 Mon Sep 17 00:00:00 2001 From: Andrei Radulescu Date: Wed, 7 Aug 2024 12:33:15 +0300 Subject: [PATCH] updated comment about usr merged lib64 --- userspace/hardware_setup.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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