Sanos is a minimalistic 32-bit x86 OS kernel for network server appliances running on standard PC hardware. The kernel implements basic operating system services like booting, memory management, thread scheduling, local and remote filesystems, TCP/IP networking, and DLL loading and linking. You can use Sanos as a small kernel for embedded server applications written in C. It has a fairly standard POSIX-based API and an ANSI Standard C library.