Hi, Since the firmware code is not open source, I am trying to find documentation I believe that raspberry pi4 firmware does a lot of things, including ddr initialisation, setting up the MMU and probably setting up the security state in EL3. Looking for some documentation which helps me understand t...