Re: Microkernel Q

[Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de>]

On Sat, Jun 02, 2001 at 11:45:51PM -0400, B. Douglas Hilton wrote:
> If I could provide a mach.h and a MIG for a kernel written
> in Ada, would it be possible to rebuild Hurd for it?

If you have come so far, it will be a piece of cake for you to find out if
that works, and we will be interested to hear about it.  Note that you will
also need glibc.

If you are asking about the details of the interfaces we use from mach,
there is certainly more than mach.h, like all of /include/mach/*.
Again, the source of libc and the Hurd are all you need to find out.
As the Hurd has run on GNU Mach, RT Mach and OSKit Mach, it seems a
compatible Mach should be a drop in replacement (if you are compatible at
the syscall level).

I doubt there are many people here who could help you with this ambitious
project, though.

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org brinkmd@debian.org
Marcus Brinkmann              GNU    http://www.gnu.org    marcus@gnu.org
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de