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