Hello Sergey, I hope you are doing well.
I am trying to understand the roles of the GICv2 and Generic Timer from aarch64 perspective now and I am reading the source code because at this point [0] I don't understand how to proceed. As the previous thread, I can run a simple bare-metal example but I wonder what is the next stage of the development. If you can point me in any direction. Thanks Gianluca [0]: https://github.com/aculnaig/gnumach/commit/53f5f66fde895f09f0102ff74ed05b1d2878d49a
