Mach emulation

[OKUJI Yoshinori]

  This is just a thought. As I said in debian-hurd, Mach emulation on
L4 would be a good approach to realize how different L4 is from Mach
and what problems lie in porting Hurd to L4. Obviously, it is quite
hard to migrate from Mach to L4 suddenly. But once we can run Hurd on
L4 even in a dirty and slow way, we will be able to get a code base
which can eventually be used in native mode.

  So I think it is the best way to start up this project. This is the
TODO list:

1. Write a L4 program which emulates Mach. I'd like to call this
program "l4-mach". This kernel-like program includes device drivers
and other Mach service routines.

2. Modify GNU libc, so that it can emulate Mach system calls, using L4
system calls and user-level simulators. I don't think binary
compatibility with Mach is required. Source compatibility is enough.

3. Recompile Hurd and other software packages on the modified version
of GNU libc.

If you are willing to work on any of the list, let me know. I'll start
this in near future.

Okuji