Микроконтроллеры

Если исключить реентрабельность, то из программы на C отличить от "настоящего" стека не удастся. А раз "выглядит как кошка и ведёт себя как кошка" - то кошка и есть. В смысле раз позволяет писать программы на С в предположении "стек есть и не надо всё раскладывать по статическим переменным", то что ещё надо? Ну кроме рекурсии ;-)