Static Allocation, get memory functions not provided.

[oofus]

Hi

Just discovered a difference between your SAMD21 and SAMD51 ports.

If configSUPPORT_STATIC_ALLOCATION == 1, then the application must provide implementations of

vApplicationGetIdleTaskMemory()
vApplicationGetTimerTaskMemory()

In the the SAMD21 port, the provided file port.c contains implementations of these functions, so there is no issue (or work to be done!) if static allocation is enabled.

In this SAMD51 port, the port.c file does not contain these implementations. This means if static allocation is enabled building fails.

Is there a reason, other than oversight, for these functions not being there in the SAMD51 port ?

Could they be added, for consistency and ease of use ?

Thanks