| .. |
|
host
|
d5fcb00f8b
Fix the build for linux driver 1.8
|
%!s(int64=6) %!d(string=hai) anos |
|
security
|
c2c92723b9
bugfix: process forking in LibOS
|
%!s(int64=7) %!d(string=hai) anos |
|
.gitignore
|
bf2a41a301
.gitignore
|
%!s(int64=7) %!d(string=hai) anos |
|
Makefile
|
76967f39d3
Bugfixes:
|
%!s(int64=7) %!d(string=hai) anos |
|
Makefile.Host
|
cc49984e01
Build fixes
|
%!s(int64=7) %!d(string=hai) anos |
|
Makefile.Test
|
cc49984e01
Build fixes
|
%!s(int64=7) %!d(string=hai) anos |
|
db_events.c
|
e6b3821471
Try to correct incomplete fix for kernel vs. userspace calling convention. Seems like the current plan is to fix the calling convention in the libos, not libc. Also, fix some cases where timeouts were being cast down to 32-bit integers
|
%!s(int64=6) %!d(string=hai) anos |
|
db_exception.c
|
27ed3b2f6b
- Fix calling convention issues in the glibc 2.19 patch
|
%!s(int64=7) %!d(string=hai) anos |
|
db_ipc.c
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
db_main.c
|
5f546699b0
Merge pull request #68 from oscarlab/testing
|
%!s(int64=6) %!d(string=hai) anos |
|
db_memory.c
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
db_misc.c
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
db_object.c
|
9882cad859
check return codes in semaphore implementation
|
%!s(int64=7) %!d(string=hai) anos |
|
db_process.c
|
b926dfec43
Fix SGX Pal regression by defining an expected behavior for NULL URI to DkProcessCreate.
|
%!s(int64=7) %!d(string=hai) anos |
|
db_rtld.c
|
43726c86da
This header's contents are not used by the code. Remove it
|
%!s(int64=6) %!d(string=hai) anos |
|
db_semaphore.c
|
e6b3821471
Try to correct incomplete fix for kernel vs. userspace calling convention. Seems like the current plan is to fix the calling convention in the libos, not libc. Also, fix some cases where timeouts were being cast down to 32-bit integers
|
%!s(int64=6) %!d(string=hai) anos |
|
db_streams.c
|
f55be974fa
Fixing compilation issues in PAL caused by switching to uint64_t
|
%!s(int64=6) %!d(string=hai) anos |
|
db_threading.c
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
dl-machine-x86_64.h
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
do-rel.h
|
27ed3b2f6b
- Fix calling convention issues in the glibc 2.19 patch
|
%!s(int64=7) %!d(string=hai) anos |
|
dynamic_link.h
|
27ed3b2f6b
- Fix calling convention issues in the glibc 2.19 patch
|
%!s(int64=7) %!d(string=hai) anos |
|
pal.h
|
e6b3821471
Try to correct incomplete fix for kernel vs. userspace calling convention. Seems like the current plan is to fix the calling convention in the libos, not libc. Also, fix some cases where timeouts were being cast down to 32-bit integers
|
%!s(int64=6) %!d(string=hai) anos |
|
pal_debug.h
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
pal_defs.h
|
cfa620e24a
Trivial changes
|
%!s(int64=8) %!d(string=hai) anos |
|
pal_error.h
|
fba92d6a28
Bugfies:
|
%!s(int64=7) %!d(string=hai) anos |
|
pal_internal.h
|
f55be974fa
Fixing compilation issues in PAL caused by switching to uint64_t
|
%!s(int64=6) %!d(string=hai) anos |
|
pal_rtld.h
|
43726c86da
This header's contents are not used by the code. Remove it
|
%!s(int64=6) %!d(string=hai) anos |
|
printf.c
|
46abc3beea
bugfix: snprintf returns wrong # of written characters; and can potentially go overflow
|
%!s(int64=7) %!d(string=hai) anos |
|
slab.c
|
1a1e199c79
release v0.4beta
|
%!s(int64=7) %!d(string=hai) anos |
|
user_start.S
|
7f19f62f31
beta version 0.2
|
%!s(int64=9) %!d(string=hai) anos |
Don Porter
d5fcb00f8b
Fix the build for linux driver 1.8