OSF Mk
Utah Mach4 -> GNU Mach
RT-Mach/NTT
RT-Mach/MKG

ってどれも同時並行なプロジェクトでせう
xMachは下3つの後継?

ま、いまさらリアルタイムOSの設計にMachベースもないだろう、
ってとこではあるんだろうなぁ