Wikipedia
MiniGUI
MiniGUI is a GUI system with support for real-time and embedded operating systems, and aims to be fast, stable, light-weight and cross-platform. It was first released under the GNU GPL in 1999, and has since offered a commercial version with more features, including support for operating systems other than Linux and eCos. MiniGUI has been widely used in handheld terminals, portable media players, and industry instruments.