a self-contained development environment for embedded systems.
Alternative operating system for x86 computers
A microkernel-based multiserver operating system written from scratch.
AVR based smartcard/token with ECC and RSA cryptography
OS bootable from Linux,Windows and others partitions as auxiliary OS