.. |
crypto
|
76967f39d3
Bugfixes:
|
7 years ago |
debugger
|
d0ca9ada03
Port PAL to work on latest SGX driver (Issue #12). Fix a few other SGX-related bugs.
|
8 years ago |
include
|
1a1e199c79
release v0.4beta
|
8 years ago |
sgx-driver
|
d922504d78
adding missing sources for the Graphene-SGX driver
|
7 years ago |
signer
|
70bf28d2e2
Catching up with the Intel SGX driver and SDK
|
7 years ago |
.gitignore
|
1a1e199c79
release v0.4beta
|
8 years ago |
Makefile
|
70bf28d2e2
Catching up with the Intel SGX driver and SDK
|
7 years ago |
Makefile.Test
|
9aee3dcb69
new compilation logistic: always use the Runtime directory
|
7 years ago |
Makefile.am
|
64a4804cd2
More fixes
|
7 years ago |
db_devices.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_events.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_exception.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_files.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_ipc.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_main.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_memory.c
|
48a1edf76e
Bugfix to prevent infinite hanging.
|
7 years ago |
db_misc.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_mutex.c
|
9882cad859
check return codes in semaphore implementation
|
7 years ago |
db_object.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_pipes.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_process.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_rtld.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_semaphore.c
|
fffcb6a366
Add a few PAL unit tests for Semaphores, fix some bugs, add documentation on semaphore/wait interfaces.
|
7 years ago |
db_sockets.c
|
76967f39d3
Bugfixes:
|
7 years ago |
db_spinlock.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
db_streams.c
|
760446deac
Address bug report #11, by using 64-bit offsets and lengths internally. Create a regression test to capture this case
|
8 years ago |
db_threading.c
|
76967f39d3
Bugfixes:
|
7 years ago |
ecall_types.h
|
76967f39d3
Bugfixes:
|
7 years ago |
elf-x86_64.h
|
27ed3b2f6b
- Fix calling convention issues in the glibc 2.19 patch
|
8 years ago |
enclave.lds
|
1a1e199c79
release v0.4beta
|
8 years ago |
enclave_ecalls.c
|
76967f39d3
Bugfixes:
|
7 years ago |
enclave_entry.S
|
547f1ed042
fix a typo
|
7 years ago |
enclave_framework.c
|
76967f39d3
Bugfixes:
|
7 years ago |
enclave_ocalls.c
|
76967f39d3
Bugfixes:
|
7 years ago |
enclave_ocalls.h
|
76967f39d3
Bugfixes:
|
7 years ago |
enclave_pages.c
|
3cf3bd2df3
fix a bug in allocating enclave pages. another bug in waking enclave threads
|
7 years ago |
enclave_pages.h
|
d0ca9ada03
Port PAL to work on latest SGX driver (Issue #12). Fix a few other SGX-related bugs.
|
8 years ago |
enclave_untrusted.c
|
c2c92723b9
bugfix: process forking in LibOS
|
8 years ago |
host_endian.h
|
1a1e199c79
release v0.4beta
|
8 years ago |
linux_types.h
|
d0ca9ada03
Port PAL to work on latest SGX driver (Issue #12). Fix a few other SGX-related bugs.
|
8 years ago |
ocall_types.h
|
76967f39d3
Bugfixes:
|
7 years ago |
pal.map
|
1a1e199c79
release v0.4beta
|
8 years ago |
pal_host.h
|
76967f39d3
Bugfixes:
|
7 years ago |
pal_linux.h
|
76967f39d3
Bugfixes:
|
7 years ago |
pal_linux_defs.h
|
76967f39d3
Bugfixes:
|
7 years ago |
pal_linux_error.h
|
1a1e199c79
release v0.4beta
|
8 years ago |
pal_security.h
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_api.h
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_arch.h
|
70bf28d2e2
Catching up with the Intel SGX driver and SDK
|
7 years ago |
sgx_enclave.c
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_enclave.h
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_entry.S
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_exception.c
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_framework.c
|
70bf28d2e2
Catching up with the Intel SGX driver and SDK
|
7 years ago |
sgx_graphene.c
|
c2c92723b9
bugfix: process forking in LibOS
|
8 years ago |
sgx_internal.h
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_main.c
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_process.c
|
76967f39d3
Bugfixes:
|
7 years ago |
sgx_rtld.c
|
c2c92723b9
bugfix: process forking in LibOS
|
8 years ago |
sgx_thread.c
|
3cf3bd2df3
fix a bug in allocating enclave pages. another bug in waking enclave threads
|
7 years ago |
sgx_tls.h
|
76967f39d3
Bugfixes:
|
7 years ago |
sysdep-x86_64.h
|
1a1e199c79
release v0.4beta
|
8 years ago |
test-sgx.c
|
1a1e199c79
release v0.4beta
|
8 years ago |
user_types.h
|
1a1e199c79
release v0.4beta
|
8 years ago |