[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GNU Mach

From: Alfred M. Szmidt
Subject: Re: GNU Mach
Date: Tue, 17 May 2005 23:09:54 -0400

   Is it possible to build the GNU mach kernel on a Linux system?

Yes you can, just pass configure the following switch:
--host=i386-pc-linux-gnu.  You will need to have MiG installed, and to
compile MiG you need GNU Mach headers; to install the headers use the
`install-headers' target, or better yet, just install the mig package
if you are using Debian GNU/Hurd.

By the way, could you please call the whole system for GNU/Linux?
Linux is only a small part of a system.  Please see for further information.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]