Operating Systems
|
Operating Systems
|
|
| Operating Systems > Microkernel > Mach |
| Categories |
|
Darwin GNU Hurd Mac OS X NeXT |
|
| MkLinux
An Open Source operating system which consists of an implementation of the Linux operating system hosted on the Mach microkernel. |
| Flux Research Group: Older Projects and Software
Mach 4 kernel, Lites Unix server, Mach/Lites/4.4-lite, MOSS, Goofie, PA-RISC GNU tools. |
| Maruti
Goal: create an environment for developing and deploying critical applications with hard real-time constraints in a reactive environment. Such applications must be able to execute on a platform of distributed and heterogeneous resources, and operate continuously in the presence of faults. |
| Real-Time Mach NTT
Another version of Real-Time Mach, by NTT Laboratories. Contains RT-Mach kernel, FreeBSD 2.2.8 server, real-time shell, RT-Java, Hurd loader. Site has fine 'Getting Started' section: readme, release notes, installation, hardware, compatibility, troubles Q&A, contacts. |
|
Real-Time Mach
By Real-Time and Multimedia Laboratory, Department of Computer Science, Carnegie Mellon University. RT-Mach is a resource kernel, a kernel provides resource-centric services, which can then be used to satisfy end-to-end QoS needs. |
|
MK++
Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; all built in an object-oriented B3 evaluable fashion. |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.