Hey, I've tried writing a very basic kernel module for asahi that exposes EL1 system registers to userspace, but it always fails with reading the system registers as 0. I then found out that even EL0 registers such as CNTPCT_EL0 aren't accessible from EL0, while on the other hand, the preinstalled bare metal macOS on my mac does expose those system registers. Is there some kind of barrier between asahi and the hardware?
Thanks in advance for any type of help/guidance,
Adam.