Marc Singer <[EMAIL PROTECTED]> writes:

> Is Hurd self-hosting for this?  Is there a HOWTO about building a
> kernel?

AFAIK, what I did was:

$ apt-get source gnumach
$ cd gnumach-*
$ vi debian/rules
[remove all the unnecessary --enable-... arguments to configure]
$ debian/rules build
[the following commands need root privileges]
$ debian/rules binary
$ cp /boot/gnumach.gz /boot/gnumach.old.gz
$ dpkg -i ../gnumach_*.deb

If you don't have apt, the first step can be simulated by fetching
"/debian/dists/unstable/main/source/base/gnumach_*" from your nearest
Debian mirror, and then issuing "dpkg-source -x gnumach_*.dsc"

-- 
Robbe

Attachment: signature.ng
Description: PGP signature

Reply via email to