Is there a way to allocate a fixed array in SDRAM?

Is there any way to allocate a fixed array in the GIGA SDRAM with a compiler directive such as:

uint8_t Workspace[8 * 1024 * 1024] SDRAMMEM;

Obviously SDRAMMEM doesn't work.

I know you can achieve something similar with SDRAM.malloc(), but I'd prefer to allocate a fixed array.

I don't think that's possible (ie done at compile time) because the SDRam needs some initialisation at run time prior to becoming usable (that's why you call begin()) which calls sdram_init(); ➜ https://github.com/arduino/ArduinoCore-mbed/blob/9795c3c22e009796d3f1a283fc6aa1b3a8575e43/libraries/Portenta_SDRAM/src/ram_internal.c#L67

OK, thank you.