diff --git a/userspace/base_setup.sh b/userspace/base_setup.sh
index d65c924..fb894d9 100755
--- a/userspace/base_setup.sh
+++ b/userspace/base_setup.sh
@@ -6,6 +6,7 @@ HOST=tici
 
 # Create identification file
 touch /TICI
+touch /AGNOS
 
 # Create privileged user
 useradd -G sudo -m -s /bin/bash $USERNAME