Merge pull request #557 from haitaohuang/fix_docker

Fix an error in docker/build

Author: haitaohuang

docker/build/README.md

@@ -50,6 +50,6 @@ The sample scripts and Compose files are compatible with the Flexible Launch Con
 1. Replace "/dev/sgx/enclave" device with "/dev/isgx" and **remove** "/dev/sgx/provision" device for AESM in docker-compose.yml and build_and_run_aesm_docker.sh
 2. Replace "/dev/sgx/enclave" with "/dev/isgx" for the sample container in docker-compose.yml and build_and_run_sample_docker.sh
 
-**Note**: When you switch between drivers, make sure you uninstall the previous driver and reset the OS before installing the other one.
+**Note**: When you switch between drivers, make sure you uninstall the previous driver and reboot the system before installing the other one.
 
 **Note**: Earlier versions of the Flexible Launch Control driver and kernel patches may expose the SGX device as a single node at "/dev/sgx".

docker/build/build_and_run_aesm_docker.sh

@@ -44,4 +44,4 @@ chmod -R -f 777 /tmp/aesmd || sudo chmod -R -f 777 /tmp/aesmd || true
 # If you use the Legacy Launch Control driver, replace /dev/sgx/enclave with /dev/isgx, and remove
 # --device=/dev/sgx/provision
 
-docker run --env http_proxy --env https_proxy --device=/dev/sgx --device=/dev/sgx/provision -v /dev/log:/dev/log -v /tmp/aesmd:/var/run/aesmd -it sgx_aesm
+docker run --env http_proxy --env https_proxy --device=/dev/sgx/enclave --device=/dev/sgx/provision -v /dev/log:/dev/log -v /tmp/aesmd:/var/run/aesmd -it sgx_aesm

linux/installer/docker/README.md

@@ -46,7 +46,7 @@ The sample scripts and Compose files are compatible with the Flexible Launch Con
 1. Replace "/dev/sgx/enclave" device with "/dev/isgx" and **remove** "/dev/sgx/provision" device for AESM in docker-compose.yml and build_and_run_aesm_docker.sh
 2. Replace "/dev/sgx/enclave" with "/dev/isgx" for the sample container in docker-compose.yml and build_and_run_sample_docker.sh
 
-**Note**: When you switch between drivers, make sure you uninstall the previous driver and reset the OS before installing the other one.
+**Note**: When you switch between drivers, make sure you uninstall the previous driver and reboot the system before installing the other one.
 
 **Note**: Earlier versions of the Flexible Launch Control driver and kernel patches may expose the SGX device as a single node at "/dev/sgx".