Dle mě, by spíše mělo smysl PalmOS migrovat na zařízení s ESP32 či STM32 a podobně, kde není dost výkonu. Ale možná, že už na to nějaký OS s podporou GUI je, akorát jsem ho nepotkal.
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.