History log of /seL4-refos-master/libs/librefossys/src/syscalls.h
Revision Date Author Comments
# 60e15d47 04-Oct-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

add RefOS system call table and __vsyscall_ptr so that processes that RefOS creates know where their system call table is