Microbsd - MicroBSD is a micro-kernel Operating System

  •        0

MicroBSD is a micro-kernel Operating System




comments powered by Disqus

Related Projects

Minix - Operating System by Andrew S. Tanenbaum

MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a collection of isolated, protected, processes in user mode.

Genode - Operating System Framework

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

Unicorn - Rack HTTP server for fast clients and Unix

Unicorn is an HTTP server for Rack applications designed to only serve fast clients on low-latency, high-bandwidth connections and take advantage of features in Unix/Unix-like kernels. Load balancing is done entirely by the operating system kernel. Requests never pile up behind a busy worker process. Does not care if your application is thread-safe or not, workers all run within their own isolated address space and only serve one client at a time for maximum robustness.


Subversion is an open source version control system. Founded in 2000 by CollabNet, Inc., the Subversion project and software have seen incredible success over the past decade. The open source community has used Subversion widely: for example in projects such as Apache Software Foundation, Free Pascal, FreeBSD, GCC, Django, Ruby, Mono, SourceForge, ExtJS, Tigris.org, PHP and MediaWiki. Google Code also provides Subversion hosting for their open source projects.

Debian - The Universal Operating System

Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian provides more than a pure OS: it comes with over 29000 packages, precompiled software bundled up in a nice format for easy installation on your machine.

Tizen - Operating System for Devices like Smartphones, Tablets

Tizen is an open source, standards-based software platform for multiple device categories, including smartphones, tablets, netbooks, in-vehicle infotainment devices, smart TVs, wearable and more. Tizen offers an innovative operating system, applications, and a user experience that consumers can take from device to device.

Etch - System Configuration Management

A tool for system configuration management, i.e. management of the configuration files of the operating system and core applications. Easy for a professional system administrator to start using, yet scalable to large and/or complex environments.

Firefox OS - Operating System for Mobile, Tablet and Smart TV

Firefox OS is a Linux kernel-based Operating System for smartphones and tablet computers and Smart TVs.

Xen - Open Source Virtualization

The Xen hypervisor is a layer of software running directly on computer hardware replacing the operating system thereby allowing the computer hardware to run multiple guest operating systems concurrently. It suppors x86, x86-64, Itanium, Power PC, and ARM processors allow the Xen hypervisor to run on a wide variety of computing devices.

ttyrpldnbsp;– tty capturing daemon

ttyrpld is a multi-OS kernel-level TTY keylogger and screenlogger with (a)synchronous replay support. It runs on Linux, Solaris, FreeBSD, NetBSD and OpenBSD.