Chia-Che Tsai e01769337c Detecting invalid user memory given as system call inputs (#210) 6 years ago
..
include d04f172e89 Replace the atomics implementation (#83) 7 years ago
ipc 6d84b4a06d Porting IPC module to Linux 4.15 (#186) 6 years ago
lib 03cb0e0bb3 Address a TOCTTOU vulnerability in SGX read/map (#131) 6 years ago
linux-kernel c2c92723b9 bugfix: process forking in LibOS 8 years ago
regression 00c4ed0253 Implement sched_getaffinity system call (#209) 6 years ago
src e01769337c Detecting invalid user memory given as system call inputs (#210) 6 years ago
test d21ca3a8cf A manifest option allowing applications to create files which are not in trusted/allowed file lists (#182) 6 years ago
.gitignore bf2a41a301 .gitignore 8 years ago
Makefile 3aaf591fc5 Fixing a bunch of memory leaking issues (#86) 7 years ago
linux-3.14.patch b5586bbfc6 release v0.3 9 years ago
linux-3.19.patch c2c92723b9 bugfix: process forking in LibOS 8 years ago