Mach

Flux Research Group: Older Projects and Software

cs.utah.edu

Mach 4 kernel, Lites Unix server, Mach/Lites/4.4-lite, MOSS, Goofie, PA-RISC GNU tools.

273 visits Dec 2, 2025 Details

cs.cmu.edu

Famous pioneering microkernel research OS, from Carnegie Mellon University: CMU. It lead to many well known OSs: NeXT, Flux (part of the Flux-Fluke-Flask progression, though Fluke …

419 visits Nov 9, 2023 Details

Maruti

cs.umd.edu

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 …

6 visits May 7, 2025 Details

MK++

opengroup.org

Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; all built in an object-orien…

391 visits Aug 31, 2024 Details

MkLinux

mklinux.org

An Open Source operating system which consists of an implementation of the Linux operating system hosted on the Mach microkernel.

474 visits Feb 20, 2024 Details

Real-Time Mach

cs.cmu.edu

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…

254 visits Sep 18, 2024 Details

Real-Time Mach NTT

info.isl.ntt.co.jp

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' sectio…

282 visits Jun 15, 2025 Details

Mach

Flux Research Group: Older Projects and Software

Mach

Maruti

MK++

MkLinux

Real-Time Mach

Real-Time Mach NTT

Category Info