Буквально так и есть - микро-либ. Миниатюрная библиотека
стандартных функций. Если заглянете в ассемблерный startup_xxx.s, то обнаружите там разные способы инициализации, что-то вроде:
IF :DEF:__MICROLIB
EXPORT __initial_sp
EXPORT __heap_base
EXPORT __heap_limit
ELSE
IMPORT __use_two_region_memory
EXPORT __user_setup_stackheap
__user_setup_stackheap
IF Heap_Enable == 0
MOV R0, #0
MOV R2, #0
BX LR
ELSE
LDR R0, = Heap_Mem
LDR R2, = (Heap_Mem + Heap_Size)
BX LR
ENDIF
Вполне возможно кто-то подредактировал startup. А может быть стартап был взят из старых версий Кейл, я помню что был переходный момент когда вместо __user_setup_stackheap использовалось что-то другое.