Не могу найти как в ОС инициализируется стэк. Особенно интересно в контексте портирования OSView для ARM. Переменные OSIntStkSize, OSIntStkBase в исходниках отсутствуют.
P.S. Если у вас вдруг имеется оглавление книги "μC/OS, The Real-Time Kernel", не сочтите за труд поделится

Немного разобравшись понял, что стэк инициализируется в библиотеке времения выполнения (библ ВВ).
Но появился другой вопрос. Я использую библ ВВ от IAR. Расположение сегментов определяется в соответсвующем xcl-файле. Размер стэка указывается явно, а как задаётся базовый адресс стэка (в данном случае для режима прерывания).