HelenOS sources

root/uspace/drv/char/i8042/doc/

[..]
doxygroups.h
[..]
HelenOS homepage, sources at GitHub