It would be of great help in supporting people to know what boot mode was configured and exactly which SPL was executed on a specific boot cycle. At least the boot mode can be figured by reading the CONTROL_STATUS register (0x44E10040):
- Bits 7:0 will reflect what the processor read on SYSBOOT[7:0]
- Bit 16:23 will reflect what the processor read on SYSBOOT[15:8]
The actual SPL executed might be possible to determine, but I'm not currently aware of how to do it.
Grabbing the SYSBOOT status and putting the boot order in the output of version.sh will help in some debugging instances.