Ну с devf* всё ясно - Flash File System TDK.
А в каком TDK теперь должны быть BSP? Там же?
BSP без исходников доступны для имеющих лицензию на среду разработки. А в исходниках за отдельные деньги. Цены можно уточнить в SWD например. На сколько я помню, что-то около 1700 зеленых за одно BSP.