Very simple real time operating system: что это и зачем нужно?

__attribute__((naked))должен помочь, правда он кроме push/pop ещё и ret выкинет - нужно будет явно BX LR в конец функции дописывать.