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