FreeBSD is an advanced operating system for x86 compatible (including Pentium and Athlon), amd64 compatible (including Opteron, Athlon64, and EM64T), UltraSPARC, MIPS, ARM, PowerPC, and RISC-V architectures. It is derived from BSD, the version of UNIX developed at the University of California
... [More], Berkeley. It is developed and maintained by a large team of individuals. [Less]
L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently
... [More] code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]
VDT - Visual Disk Test : performs I/O tests on files and/or devices. ( The BUD Toolshed is a set of utility programs to improve operating system administration, ranging from security and storage to performance analysis ; VDT is the I/O tester ).