HelenOS sources

root/kernel/genarch/src/drivers/

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