I did the following and the checked that the S32K148 FlexRAM non-writable size becomes 512 bytes. I know that if CSEC is enabled, I need to reserve 128 bytes but when I check the memory via the debugger I saw that I can't write to the last 512 bytes; i.e. Address 0x14000E00 - 0x14001000.