| .. |
|
include
|
e7147f7ad2
[LibOS] Change IPC subsystem to send IPC_PID_KILL without ack
|
6 years ago |
|
src
|
61be1b2e40
[LibOS] Instruct thread_exit() to send IPC_CLD_EXIT only once
|
6 years ago |
|
test
|
601f17724a
[Jenkins-SGX] Increase timeout on LibOS tests to 15 minutes
|
6 years ago |
|
Makefile
|
f14049316a
[Build] Add `make format` target
|
7 years ago |
Dmitrii Kuvaiskii