HelenOS sources

root/uspace/drv/char/i8042/

[..]
doc/ i8042.c i8042.h main.c
[..]
HelenOS homepage, sources at GitHub