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 _______________________________________________ Help-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-hurd
