Да, так и есть. А на Cortex-A типа Raspberry и подобных ("pico")
обычно либы под линукс уже не усеченные. К тому же если приспичило,
я бы просто наваял себе "эмулятор" тех POSIX функций, которые
требуются и не компилятся при переносе какого-нибудь кода/проекта.
Серьезных проблем с синхронизацией удастся хлебнуть только если
будет реально многоядерный микроконтроллер с параллельно
работающими ядрами и потоками. А так все будет норм.
Спасибо, князь. Вы настоящий дворянин. И программист.