Projects tagged ‘microkernel’ and ‘operating_system_kernels’


[4 total ]

7 Users
   

The GNU Hurd is the GNU project's replacement for the Unix kernel. The Hurd is a collection of servers that run on the Mach microkernel to implement file systems, network protocols, file access ... [More] control, and other features that are implemented by the Unix kernel or similar kernels (such as Linux). [Less]
Created over 3 years ago.

7 Users
 

The HelenOS project is an effort to develop a complete and usable modern operating system, yet offering room for experimenting and research. HelenOS uses its own microkernel written from scratch and ... [More] supports SMP, multitasking and multithreading on both 32-bit and 64-bit, little-endian and big-endian processor architectures, among which are AMD64/EM64T (x86-64), ARM, IA-32, IA-64 (Itanium), 32-bit MIPS, 32-bit PowerPC, SPARC V9 and Xen 3.0. Thanks to the relatively high number of supported architectures and suitable design, HelenOS is extremely-well portable. [Less]
Created over 3 years ago.

4 Users

MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many ... [More] key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability. This new OS is extremely small, with the part that runs in kernel mode under 4000 lines of executable code. The parts that run in user mode are divided into small modules, well insulated from one another. For example, each device driver runs as a separate user-mode process so a bug in a driver (by far the biggest source of bugs in any operating system), cannot bring down the entire OS. [Less]
Created over 2 years ago.

0 Users
 

A small, new and fast micro-kernel operating system written in C++. - Mona is neither POSIX nor a Windows clone. - Boots from floppy disk or CD-ROM. - Scheme(Lisp) based shell. - Kernel size is ... [More] now 88KB(2007/05/27) - Works on IA32 x86 CPUs - Graphical user interface [Less]
Created over 2 years ago.