modprobe after you wait a bit

init.sh

@@ -11,6 +11,10 @@ load_modules
 create_certs
 setup_network
 
+# if you wait a bit, it works. The Kernel works in mysterious ways.
+sleep 5
+modprobe sev_guest
+
 guest_api || echo DeTEE API got killed by the user.
 
 if [[ -f "$INSTALL_URL" ]]; then 

init_functions.sh

@@ -120,7 +120,7 @@ detee_ssh_key() {
     grep -F "$( echo $key | awk '{ print $2 }' )" authorized_keys || {
       echo "$key" >> authorized_keys
     }
-  done < /tmp/detee_ssh_key
+  done < "$SSH_KEY_FILE"
   chmod 600 authorized_keys
 }