HelenOS sources

root/uspace/lib/drv/include/ddf/

[..]
driver.h interrupt.h log.h
[..]
HelenOS homepage, sources at GitHub