HelenOS sources

root/uspace/drv/root/

[..]
root/ virt/
[..]
HelenOS homepage, sources at GitHub