HelenOS sources

root/uspace/app/sbi/src/os/

[..]
helenos.c os.h posix.c
[..]
HelenOS homepage, sources at GitHub