HelenOS sources

root/uspace/drv/platform/arm64virt/

[..]
arm64virt.c
[..]
HelenOS homepage, sources at GitHub