HelenOS sources

root/kernel/genarch/include/genarch/

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