HelenOS sources

root/uspace/lib/c/include/types/

[..]
adt/ casting.h common.h loc.h rtld/
task.h uuid.h
[..]
HelenOS homepage, sources at GitHub