HelenOS sources

root/uspace/drv/intctl/

[..]

apic/

gicv2/

i8259/

icp-ic/

obio/

[..]

HelenOS homepage, sources at GitHub