On Wed, Jun 27, 2001 at 04:29:54PM +0100, Paul.Emsley@chem.gla.ac.uk wrote: > > > (And on a completely different topic: (building oskit-mach) > where can I get cpus.h?) It should be located at [gnumach]/cpus.h. If it's not you should redownload your source tree. Igor