Hi,
I had a few questions about the context switch code in seL4 for aarch64. I
spent a couple of days trying to make sense of it, so I thought it would be
better to ask as I might be missing something that is not obvious.
It looks like kernel_enter in traps.S [1] saves the user process's register
I probably should have stated that this is an attempt to run the “vm_minimal”
application.
Looking at the registers (and I’m no expert in this department) it appears this
could be an attempt to access data at address 0xb200 which is the location
of the DTB, if anyone with great knowledge in
