port-arm32: MACH?

Subject: MACH?
To: None <port-arm32@NetBSD.ORG>
From: Boris Boesler <s_boesle@ira.uka.de>
List: port-arm32
Date: 02/05/1997 11:15:04

Hi!

 Looking through some include files I saw that some of them are 'derived'
from MACH project. Will there be a chance to see a MACH kernel on the RPC?

Boris