Re: Debian/GNU Freebsd
At 19:02 +0000 1999-02-21, Georg Bauer wrote:
It definitely would be fun to have those different kernels available. Even an
MkLinux might be interesting, although there is already the Hurd. LinuxPPC
does a similar thing, they distribute both the LinuxPPC and the MkLinux-kernel
and you can interchange the kernels as you wish, since both "variants" use the
same infrastructure, packaging system etc. It would be nice if Debian could
give the same thing.
I'd like to put the MkLinux kernel in Debian, but some of the tools
required to build OSFMK have no documentation on how to compile them,
and I don't have time to figure it out.
Joel Klecker (aka Espy) <URL:http://web.espy.org/>
Debian GNU/Linux PowerPC -- <URL:http://www.debian.org/ports/powerpc/>