Hát, nem tudom. Fogtam az Ubuntu 19.04 alpha (épp az volt feltelepítve) arm-none-eabi-gcc -jét a default stdlib-jével és lefordítottam egy általam írt egyszerű ledvillogtató C forrását STM32F1 mikrovezérlőre.
arm-none-eabi-size progi.elf
text data bss dec hex filename
92 0 0 92 5c progi.elf
$ ls -l
-rwxrwxr-x 1 stm32 stm32 92 febr 20 22:19 progi.bin
Ha kicsi kódméret a cél, max nem használok sprintf()-et és hasonló libc-s dolgokat. Egyébként 128 kB flash van ebben a mikrovezérlőben, ami szerintem elég lesz. Ha nem, akkor MB-os méretben is van olcsón.