On 7 Dec 1999, Colin Walters wrote: > Date: 7 Dec 1999 01:40:51 -0000 > To: Marcus Brinkmann <[EMAIL PROTECTED]> > From: Colin Walters <[EMAIL PROTECTED]> > Subject: Re: newbie kernel booting problem > > Marcus Brinkmann writes: > > You can cross compile gnumach easily. > > Could someone point me to a quick HOWTO for this? I checked out the > gnumach sources from cvs, but I was having trouble getting it to > compile.
Here's a quick HOWTO, get the following .debs: gcc-i386-gnu_*.deb mig-i386-gnu_*.deb Install them, then go into your directory which contains the GNUMach source, then modify your path as follows: PATH=/usr/i386-gnu/bin:$PATH and finally run: ./configure # your options make Igor
