Differences

This shows you the differences between two versions of the page.

--- intel_sgx [2017/07/07 14:40] – RuslanBukin
+++ intel_sgx [2019/02/18 00:37] (current) – update OSVERSIONs. MarkLinimon
@@ Line 3: / Line 3: @@
 This is Intel SGX support for %%FreeBSD%%.
-SGX kernel driver developed and tested on %%FreeBSD%% 12.0-CURRENT. Intel SGX SDK can be built on both 11-STABLE and 12.0-CURRENT.
+The SGX kernel driver was developed and tested on %%FreeBSD%% 12.0-CURRENT. Intel SGX SDK can be built on both 11-STABLE, 12-STABLE, and 13.0-CURRENT.
 . Ensure your hardware supports SGX. Enable SGX in BIOS if required.
-. Apply the kernel-support from https://reviews.freebsd.org/D11113 and rebuild kernel.
+. On %%FreeBSD%% 12-STABLE or 13.0-CURRENT load SGX module
 <code>
@@ Line 16: / Line 16: @@
 <code>
-% sudo pkg install protobuf gmake gcc48
+% sudo pkg install protobuf gmake gcc48 ocaml autoconf automake libtool
 % git clone https://github.com/bukinr/freebsd-sgx.git
 % cd freebsd-sgx
@@ Line 29: / Line 29: @@
 % sudo ./build/linux/aesm_service
 </code>
+Note: The only possible flag for aesm_service is --no-daemon
 . Build and run sample application
@@ Line 37: / Line 39: @@
 % sudo ./app
 </code>
+. To run sample app without SGX SDK installed to /usr/lib
+<code>
+% setenv LD_LIBRARY_PATH ../../build/linux
+% sudo --preserve-env=LD_LIBRARY_PATH ./app
+</code>
+You should see successfull messages, otherwise please report to br@bsdpad.com
 Papers
 [[https://eprint.iacr.org/2016/086.pdf|Intel SGX Explained]]
+[[https://arxiv.org/pdf/1802.09085.pdf|SGXPECTRE Attacks: Leaking Enclave Secrets via Speculative Execution]]