The Atmega port: `portable/ThirdParty/GCC/ATmega/portmacro.h` needs the following: ~~~~ #define portPOINTER_SIZE_TYPE uint16_t ~~~~