Tomoki Shirasawa 5a9bee55c9 kill system call offloading from interrupt_syscall (tid == -1) change to one sided communication ...

refs #889

2017-07-03 14:48:42 +09:00

..

include

clean up unused code

2017-06-27 13:46:38 +09:00

kernel

kill system call offloading from interrupt_syscall (tid == -1) change to one sided communication

2017-07-03 14:48:42 +09:00

user

fix out of tree build

2017-06-30 09:57:50 +09:00