Не понимаю, почему для микроконтроллеров нужна какая-то особенная своя микроконтроллерная STL или прочие библиотеки. Что мешает использовать стандартный libstdc++ да и вообще что угодно, что не завязано на операционную систему (которой нет), а полагается только на C/C++ библиотеку (которая кое-как таки реализована).