Home » Computer Operating Systems » Microkernel Operating Systems » Microkernel Mach

Microkernel Mach - Operating Systems Resource Directory

• MK plus plus
  
  MK a microkernel which provides a single code base capable of supporting high assurance, scalability, realtime, distribution, SMP, fault handling and performance all built in an objectoriented B3 evaluatable fashion. ...
  http://www.opengroup.org/RI/technologies/mk-dbleplus/

• The Flux Research Group
  
  Older Projects and Software Mach 4 kernel, Lites Unix server, MachLites4.4lite, MOSS, Goofie, PARISC GNU tools. ...
  http://www.cs.utah.edu/flux/oldproj.html

• The Real Time Mach
  
  By Real Time and Multimedia Laboratory, Department of Computer Science, Carnegie Mellon University. RTMach is a resource kernel, a kernel provides resourcecentric services, which can then be used to satisfy endtoend QoS needs. ...
  http://www.cs.cmu.edu/afs/cs/project/art-6/www/

• The Mach
  
  Famous pioneering microkernel research OS, from Carnegie Mellon University: CMU. It lead to many well known OSs: NeXT, Flux part of the FluxFlukeFlask progression, though Fluke is new code, and which is viewed by many as the followon to Mach. ...
  http://www.cs.cmu.edu/afs/cs.cmu.edu/project/mach/public/www/mach.html

• Real Time Mach
  
  RealTime Mach RTMach is a microkernelbased operating system that focuses on the subject of distributed realtime operating system mechanisms and services for developing and supporting realtime and multimedia applications. RealTime Mach provides tempor ...
  http://info.isl.ntt.co.jp/rtmach/

• Maruti
  
  Create an environment for developing and deploying critical applications with hard realtime constraints in a reactive environment. Such applications must be able to execute on a platform of distributed and heterogeneous resources, and operate continu ...
  http://www.cs.umd.edu/projects/maruti/

• MkLinux
  
  MkLinux is an Open Source operating system which consists of an implementation of the Linux operating system hosted on the Mach microkernel. We estimate that there are somewhere between 50,000 and 100,000 MkLinux users. A significant number of the in ...
  http://www.mklinux.org/