> > Has anyone looked at how the mach microkernel boots on the Alphas?  Does
> > it only work the the OSF palcode?
> 
> Mach3 (mk83a) from CMU does boot on older (TurboChannel) Alphas with
> some minor fixes.  Non-freely-available Mach microkernels from OSF
> very likely work better (and on all Alpha models), I haven't tried
> those.

>From what I understand (from talking with people who were at CMU when
the mach work was happening), CMU Mach3 wasn't anything you ever
wanted to run on your alpha, for speed and stability reasons.




cgd