779 B

  1. #!/bin/bash
  2. #To exit a tmux session, use Ctrl+B and then press D.
  3. #To enter a tmux session, use tmux at -t <session_name> where session_name is decryptor, verifier or php_server.
  4. #List existing sessions by pressing tmux ls.
  5. cd ~/graphene && make SGX=1 sgx-tokens
  6. cd ~/source/Decryptor && tmux new-session -d -s decryptor './app; bash';
  7. cd ~/graphene/LibOS/shim/test/native && tmux new-session -d -s verifier './pal_loader SGX verifier; bash'
  8. sleep 60; #Should have better logic here to check if the previous command exited successfully (server should only be started after the verifier finishes, or else it will try to do LA with the decryptor and crash'
  9. cd ~/graphene/LibOS/shim/test/apps/apache && tmux new-session -d -s php_server "SGX=1 make start-graphene-server; bash"