I’m learning AArch64 virtualization. In the document Learn the architecture - AArch64 Virtualization Guide, there is a paragraph mentioning a Bare metal example that implements virtualization features, with a link attached.
I tried downloading the example via this link, but it redirected to a bare-metal "Hello World in C for Bare-Metal Targets" page with zero virtualization content. Does anyone know where I can find the correct virtualization examples described in the document?
Thanks!