micropython/ports/cc3200/FreeRTOS/Source/portable
..
GCC/ARM_CM3
MemMang