No, RTOS je celá řada od Contiki po NuttX. GUI je taky spousta, třeba LVGL je docela sympatické a výkonné. A kdyby byl člověk hodně velkej magor a potřeboval, aby to bylo pomalý, neohrabaný, fungovalo to blbě a mělo málo paměti, tak se dá rozchodit i uCLinux.