Какой язык программирования используется для написания портативных OS и UI?
Вот только на скринах не ОС, да и не нужна она на таком девайсе. 
А язык - в целом любой, поддерживаемый целевой платформой. Но т.к. там обычно микроконтроллер - то вполне вероятно с/с++ используются.
А если уж реально нужна ОС и мощностей хватит - то либо какой нить из линуксов, либо вообще android. 
Свои ОС под девайсы пишутся крааайне редко
Очень часто на таких устройствах стоит винда)
Ну вообще на Си вполне можно подобное писать