| .. |
|
include
|
e7147f7ad2
[LibOS] Change IPC subsystem to send IPC_PID_KILL without ack
|
6 years ago |
|
src
|
9dea9384ee
[LibOS] Handle corner-cases during {send,receive}_ipc_message
|
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