December 14, 2025
The GIC adventures - switching to EL1
I want to do this for the RK3399.
Then I want to remember to look at the Fire3 where I have
notes that say "interrupts just worked". I suspect that
it was running at EL1 all along.
ARM provides what looks like nice example code, but you will find that a few
things are missing, and that it simply doesn't work.
So much for the "official recipe". Mike is a great source.
Have any comments? Questions?
Drop me a line!
Tom's electronics pages / tom@mmto.org