Nuttx is a real-time embedded operating system (RTOS). It has a small footprint that is usable in micro-controller environments. It is fully scalable from tiny (8-bit) to moderate embedded (32-bit) systems. It also aims to be fully compliant to standards, to be fully real time, and to be totally open.
EV-OS is an operating system which runs in real mode on the x86 platform. The system must be booted and run from floppy disk. The user interface is command-line based. Application programs must be prepared for operating system. EV-OS application programs can be developed under the Windows operating system, and a special tool is used to transfer files from Windows to EV-OS. EV-OS is written in assembly and the transfer program is written in C. The downloadable package contains an executable image file, the source code of the operating system, and some installation documentation.
SOSSE (Simple Operating System for Smartcard Education) is a free smart card operating system. It is implemented in C and assembler for the Atmel AVR smart cards (Funcard, PinkCard, Jupiter). The aim of this project is to provide something like Linux for smart cards, which is a market full of NDAs. SOSSE should make it possible to learn about smart cards, and to implement and test your own ideas.
Owl (Openwall GNU/*/Linux) is a small security-enhanced Linux distribution for servers. Owl also makes a good base system for customized virtual machine images and embedded systems, and Owl live CDs with remote SSH access are good for recovering or installing systems (whether with Owl or not). A single Owl CD includes the full live system, installable packages, the installer program, as well as full source code and the build environment capable of rebuilding the entire system from source. Owl supports multiple architectures (x86, x86-64, SPARC, and Alpha) and offers some compatibility for packages developed for other Linux distributions. The primary approaches to security are proactive source code review, privilege reduction, privilege separation, careful selection of third-party software, safe defaults, and "hardening" to reduce the likelihood of successful exploitation of security flaws.
Exolu is a separation of the Linux kernel into two parts: an exokernel and a library. The exokernel consists only of the implementations for basic hardware resource access and drivers, but no abstractions. The library implements the abstractions and interfaces that are used by programs to interact with the kernel.
amforth is an extendible command interpreter for the Atmel AVR ATmega microcontroller family. It has a turnkey feature for embedded use as well. It does not depend on a host application. The command language is an almost compatible ANS94 forth with extensions. It needs less than 8KB code memory for the base system. It is written in assembly language and forth itself.
MikeOS is an operating system for x86 PCs, written in assembly language. It is a learning tool to show how simple OSes work, with well-commented code and extensive documentation. It features a text-mode dialog-driven user interface, a file manager and machine code monitor, and over 60 system calls for use by third-party programs.
musl is a new implementation of the standard library for Linux-based systems. It is lightweight, fast, simple, free, and strives to be correct in the sense of standards-conformance and safety. It includes a wrapper for building programs against musl in place of the system standard library (e.g. glibc), making it possible to immediately evaluate the library and build compact statically linked binaries with it.
HelenOS is a microkernel-based multiserver operating system designed from scratch. By decomposing the operating system functionality into tens of isolated but intensively communicating userspace servers, it provides a computing environment that has several virtues such as flexibility, increased robustness, well defined explicit interfaces, and smaller complexity of individual components. HelenOS does not aim to be another clone of Unix or some other legacy system and is not POSIX-compliant (even though it may seem POSIX-similar at times). Instead, the goal has been to design it according to what is the most elegant and right thing to do. What makes HelenOS unique among the other multiserver operating systems is its multiplatform and multiprocessor microkernel. It will run on seven different processor architectures ranging from a 32-bit uniprocessor little-endian ARMv4 to a 64-bit multicore big-endian UltraSPARC T1.