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:
- Intel NUC NUC8i3BEH2 (not suitable for production mode!)
- Dell PowerEdge R340 Rack Server with an Intel Xeon E-2176G, 3.7GHZ processor (suitable for production mode with commercial license)
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:
- Update the system
- Configure the network (using
netplan
) to DHCP on both network interfaces (eno0 and eno1) - Configure the keyboard and timezone
- Create users that can login with a public key
- Install the required tools (git, nano, tmux, zsh, gcc, ...)
- Install the Intel SGX SDK, PSW and driver with the specified version
- Install and enable samba for every user
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 configuration
All variables with <...>
need to be replaced by your own settings.
- Define the user on the remote machine that has sudo permission.
- Define the host name of the new machine.
- Adapt (if needed) the network configuration. We use DHCP and sending the MAC-address to the DHCP server.
- Define the domain the server will join.
- Define the user names and specify their public keys for ssh login.
- Specify the Intel SGX Driver and Intel SGX SDK version to be installed. Use the tags from the Intel github repository.
To execute the playbook, simply execute:
ansible-playbook site.yml -k