I just wrote the kernel exec module to run i386 elf svr4 binaries.  I
can run *very* simple binaries right now, but there are a lot of system
calls that need to be implemented. The programming task is very simple
for most system calls, but time consuming. If you would like to help,
and you have access to an svr4 x86 machine, drop me a note and I'll
tell you where you can ftp the kernel changes from.

christos

------------------------------------------------------------------------------