HelenOS sources

root/kernel/genarch/include/genarch/drivers/

[..]
am335x/ amdm37x/ bcm2835/ dsrln/ ega/
gicv2/ i8042/ i8259/ legacy/ ns16550/
omap/ pl011/ pl050/ s3c24xx/ via-cuda/
[..]
HelenOS homepage, sources at GitHub