Peter Pietzuch
Peter Pietzuch
We should update the SGX-LKL build system from hand-written Makefiles to something more modern, such as cmake. This will make the build system more robust and easier to maintain in...
**Summary:** Currently the support for SGX1 machines that do not support FLC is broken. **Problem:** We compile OE with `HAS_QUOTE_PROVIDER=ON`, which is only supported on machines with FLC support/DCAP attestation....
We should add the branch with experimental SMP support to the OE version of SGX-LKL after rebasing it on master: https://github.com/lsds/sgx-lkl/tree/smp-support Future development should be done in a way that...
When running the OpenMP sample application from [here](https://github.com/lsds/sgx-lkl/tree/master/apps/languages/openmp), it only runs correctly in sw mode. This is caused by a `syscall` instruction executed inside of the enclave: ``` t-pepiet@msrc-cc06:~/devel/sgx-lkl-oe.git/apps/languages/openmp$ make...
Background ------------ With SGX1 enclaves, it is not possible to obtain information inside the enclave about #PF and #GP exceptions. The current behaviour of OE is therefore to not deliver...