FALCOM public eCOS rep.
Here you can find latest used eCOS version - include all settings for FALCOM HW.
The original src provided by http://ecos.sourceware.org you can find in the branch "ecos_sourceware" https://git.falcom.de/pub/ecos/tree/ecos_sourceware .
The adapted src used for STM32F4 you can find in the branch "ecos_stm32f4" https://git.falcom.de/pub/ecos/tree/ecos_stm32f4 .