#if CONFIG_CODEC == SWCODEC /* software codec platforms */
src/tlsf.c
#endif
