I'm using GDB to debug STM32L562 board with a Cortex-M33 MCU containing TrustZone-M. As some fields of the CONTROL register are banked between Secure and NonSecure world, how to read the secure version of the CONTROL register with GDB? We can read the banked MMIO registers (e.g., MPU_CTRL and VTOR) by configuring the DSCSR register ( How to Change the Non Secure VTOR (Cortex-M33) ).
Thanks!