The default size configured in the example for configTOTAL_HEAP_SIZE [5*512 bytes] is insufficient for the kernel to start, and the program gets stuck on errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY. (For reference, compiled using TICLANG)
An allocation of ~3000 bytes [6*512] seems to be sufficient. Providing more [~3500+] doesn't leave space for the rest of the program.