Hi @RChatterjee,
There is 128KB of DTCM0 on S32K358.
danielmartynek_0-1712834004477.png
You can increase the size of int_stack_dtcm (LENGTH) from 4KB in the linker file.
I see that the MPU configuration in system.c already works with the whole DTCM0
danielmartynek_1-1712834372373.png
Regards,
Daniel