HelenOS sources

root/kernel/genarch/src/

[..]
acpi/ ddi/ drivers/ fb/ kbrd/
mm/ multiboot/ ofw/ softint/ srln/
[..]
HelenOS homepage, sources at GitHub