[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNU Mach
|
From: |
Thomas Schwinge |
|
Subject: |
Re: GNU Mach |
|
Date: |
Wed, 18 May 2005 09:13:26 +0200 |
|
User-agent: |
Mutt/1.5.9i |
On Sun, May 15, 2005 at 01:19:35PM +0100, Charles Barry wrote:
> Is it possible to build the GNU mach kernel on a Linux system?
That is possible after applying 00_autoconf_update.patch, which is
(amongst other patches) included in Debian's package
<URL:http://packages.debian.org/unstable/base/gnumach>:
<URL:http://ftp.debian.org/debian/pool/main/g/gnumach/gnumach_20050501-2.diff.gz>
Regards,
Thomas