I notice that if I allocate 6 bytes using pvPortMalloc(6), FreeRTOS+Trace shows me that the kernel allocated 16 bytes and not 6, I tried different values but FreeRTOS+Traces always shows me different values than the ones I put in my code and with no pattern between them.
I’m not sure if this is normal or it is freeRTOS+Trace who shows wronge values.
I checked the value passed to pvPortMalloc( size_t xWantedSize )
and the definition of size_t is :
typedef SIZE_TYPE size_t; /* type yielded by sizeof */
I’m using PIC32, and i’m not sure if size_t will be considered as int32 or int8.