This repository contains an Ansible playbook for setting up a development machine with Intel SGX
A computer with Intel SGX support is needed.
This repository lists some of the computers that support Intel SGX.
We have the following systems up and running:
IMPORTANT The CPU of the PowerEdge R340 is essential! There are cheaper versions availabe, but they don't support all features of Intel SGX.
To run the script, a fresh installation of a Linux is required. We have successfully tested the script with Ubuntu 18.04.3 LTS (bionic) server.
The Ansible playbook will perform the following steps:
netplan
) to DHCP on both network interfaces (eno0 and eno1)Because samba requires a password, the script will generate a file called samba-temp-password.txt
in the home directory of the user containing the initial password. Instructions how to change the password is shown in the ssh login screen.
Be careful when executing the script on a running system as it may reboot the system. You can disable it in ServersSGX.yml
.
The script can also be used to update your server (for example for updating the Intel SGX SDK). Simply change the setting and re-run the script.
Currently, there is only one host configured (see hosts
), but you can add as many as you want.
The configuration is done with two files:
host_vars/devsgx00.yaml
: Specific host configurationgroup_vars/developmentServersSGX.yml
: Global configurationAll variables with <...>
need to be replaced by your own settings.
To execute the playbook, simply execute:
ansible-playbook site.yml -k