PicoGUI is a complete GUI system for embedded systems.
PicoGUI also has the goal of allowing client/server connections over a variety of mechanisms. It is most commonly used with Linux, but is designed to be portable to any OS. PicoGUI has a variety of video and input drivers which allow it to interface with the Linux framebuffer device, SDL, the X window system, and several other devices.
Here are some key features of "PicoGUI":
PicoGUI applications can very easily be moved between a wide variety of platforms.
PicoGUI makes it easy for developers to separate presentation, layout, and content. This makes it easy to change the look and feel of an app, and for all apps to be consistent with each other.
PicoGUI is a chance to completely rethink the design behind a GUI system and try new things.
PicoGUI is designed to be tweaked and configured at compile-time to create a system that's right for any application. You can create large feature-packed binaries for the desktop, or simpler configurations for a wide range of embedded systems.