| ▼bin | User program binaries that can be executed from the command line as a command or via forkexec() |
| sh | The Shell is a command interpreter program that can run external programs or builtin commands |
| ▼kernel | Kernel runs privileged code that schedules processes and performs virtual memory management |
| API (system call interface) | Application Programming Interface (API) provided by the Kernel for user programs |
| API (kernel handlers) | API handlers contain the kernel side implementation of the Application Programming Interface (API) |
| ARM | ARM architecture specific kernel code such as context switching and bootup code |
| Intel | Intel architecture specific kernel code such as context switching and bootup code |
| ▼lib | Libraries contain shared code that can be used anywhere, such as in user programs, servers and the kernel |
| liballoc | Memory allocator library for managing the dynamic heap and virtual memory mappings |
| Libapp | |
| ▼libarch | The architectures library provides code for specific processor architectures |
| ARM | ARM architecture specific code such as caching, virtual memory and exception/interrupt handling |
| Broadcom | Broadcom System-on-Chip (SoC) device specific code including timers, interrupt controllers and more |
| Intel | Intel architecture specific code such as multiprocessor, virtual memory and exception/interrupt handling |
| libexec | Executable formats library can parse and extract program code and data |
| libfs | The filesystems library provides generic support code for filesystems |
| libposix | Provides support for the POSIX.1-2008 portable operating system interface for user programs |
| libipc | The Inter Process Communication (IPC) library allows processes to communicate, for example by message passing |
| libmpi | MPI (Message Passing Interface) is a standard communication interface for parallel programming |
| libnet | The networking library implements standard networking protocols and networking support code |
| libruntime | This library provides basic runtime support needed to start a program from a main() function |
| libstd | Contains standard algorithms and datastructures for generic programming |
| libtest | Generic test framework with support for assertions, automatic test discovery and test reporting |
| Host | Host architecture code is suitable for running on the host operating system |
| libi2c | This library provides support code for the I2C protocol used on some I/O devices |
| libspi | This library provides support code for the SPI protocol used on some I/O devices |
| libusb | This library provides support code for the USB protocol used on some I/O devices |
| ▼server | Servers are programs that provide a part of the operating system in userspace, for example device drivers or filesystems |
| ATA | The ATA (Advanced Technology Attachment) driver provides a block I/O storage device |
| core | The CoreServer manages a single processor core on the target system |
| Datastore | Provides a key/value in-memory based data storage that can be used system wide |
| ▼LinnFS | The Linnenbank Filesystem (LinnFS) provides an inode based filesystem similar to Ext2 |
| linncreate | The LinnCreate program can create a new LinnFS filesystem |
| TmpFS | The temporary filesystem (TmpFS) provides an in-memory non-persistent filesystem |
| MpiProxy Server | Server that bridges IP/UDP to local MPI communication channels |
| loopback | Local-only network interface driver that loops back all packets transmitted |
| sun8iemac | Network device of the Allwinner Sun8i family System-on-Chips |
| ps2 | The IBM Personal System/2 drivers supports keyboard input |
| RecoveryServer | Provides fault tolerance to servers by restarting on errors (recovery) |
| serial | The serial driver supports UART devices such as the i8250 and PL011 |
| terminal | The terminal server provides the system console via input/output devices |
| time | The time driver contains an interface to the system Real Time Clock (RTC) |
| video | This server provides support for video devices, including VGA |
| smsc95xx | Network interface driver for the SMSC95xx family of ethernet over USB devices |
| pn532 | The PN532 is a NFC reader device connected via an SPI bus |
| usb | These servers contain USB device driver implementations |
| controller | These servers contain USB controller device driver implementations |
