STM32F4Discovery + FreeRTOS + FatFS + dlopen

Would you please describe your use case? You can also look at this discussion - Binary partitioning.