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.
OKL4 Microkernels are a family of second-generation microkernels based on the original designs and implementations by Jochen Liedtke. Originally implemented in highly tuned i386-specific assembly language code, the API has seen extensive development in a number of directions, both in achieving a higher grade of platform independence and also in improving security, isolation, and robustness. There have been various re-implementations of the original binary kernel interface and its higher level successors, including L4Ka::Pistachio, L4/MIPS, and Fiasco. For this reason, the name L4 now applies to the whole microkernel family including the L4 kernel interface and its different versions.
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.
Contiki is an open source, highly portable, networked, multi-tasking operating system for the Internet of Things. Contiki includes a multitasking kernel, a TCP/IP stack and a set of application programs, and a low-power radio communication stack. It is written in C and designed to be very small: it runs comfortably in a few kilobytes of RAM.
MirBSD originated as a patch set against OpenBSD-current, an ultra secure operating system and NetBSD derivate, and has since also incorporated changes from NetBSD, a 4.4BSD-derived ultra portable operating system. It features bugfixes, code removal for the sake of simplicity, and feature enhancements over stock OpenBSD as well as a much more up-to-date GNU toolchain, careful integration of patches from other projects (such as KAME), and many improvements. It works on the Intel Pentium and some 80486 machines with more than 32 MiB RAM and the SPARC, and a port to the PowerPC Macintosh is in preparation.
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.
JTMOS stands for "Jari Tuominen's Minimal Operating System". The JTMOS operating system project aims to create a fully functional multitasking x86 operating system. It primarily targets low-end systems with small hard disks, preferably i586 family or newer. Currently focus in the project is on communication, TCP/IP stack, and building up FAT file system support. JTMOS mimics some features from Linux-style operating systems like the root directory system. JTMOS can already boot up from DOS, or independently from hard disk or floppy disk with its own custom bootloader.