// This board does not use any security settings, so can just stay in secure
// mode without configuring the SAU.

static inline void TZ_SAU_Setup(void) {
}