- Supported kernels: OKL4, L4/Fiasco, L4::Pistachio, and Linux
- Supported platforms: x86, ARM9 (experimental)
- Device drivers: PS/2 keyboard and mouse, PCI, VESA graphics, USB HID, several ethernet NICs
- Software components: Graphical User Interface (with minimal complexity), widget set, Qt4 library, libc, paravirtualized Linux


