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/> <URL:mailto:jk@espy.org> <URL:mailto:espy@debian.org> Debian GNU/Linux PowerPC -- <URL:http://www.debian.org/ports/powerpc/>