[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
www.gnu.org/gnu/why-gnu-linux.html for further information.