@stigatle https://www.raspberrypi.com/documentation/microcontrollers/silicon.html#architecture-switching