HelenOS sources

root/uspace/drv/platform/

[..]
amdm37x/ arm64virt/ hikey960/ icp/ mac/
malta/ msim/ pc/ ski/ sun4u/
sun4v/
[..]
HelenOS homepage, sources at GitHub