Synthesis Kernel an x86 version?

[osknockout 0]

For those of you (er, any -if that's the case) who've heard about the Synthesis Kernel in Massalin's PhD thesis, has anyone tried to make an x86 version?And to everyone who doesn't know what I'm talking about:The Synthesis Kernel was a self-modifying os kernel written in 68k assembly that emulated unix. (a Sun's version I think, I can't remember)Seems that the emulation went faster than the real thing, maybe the only time that ever happened. Anyway, I'm thinking about making a remake of it for the x86 and merging it into my own kernel as a module,just wondering if the attempt's already been made because I can't seem to find anything about it.

[darkmage35 0]

For those of you (er, any -if that's the case) who've heard about the Synthesis Kernel in Massalin's PhD thesis, has anyone tried to make an x86 version?
And to everyone who doesn't know what I'm talking about:
The Synthesis Kernel was a self-modifying os kernel written in 68k assembly that emulated unix. (a Sun's version I think, I can't remember)
Seems that the emulation went faster than the real thing, maybe the only time that ever happened.

Anyway, I'm thinking about making a remake of it for the x86 and merging it into my own kernel as a module,
just wondering if the attempt's already been made because I can't seem to find anything about it.

Finding out about obscure things with generic names is annoying. I've also been trying to find info on it (hopefully the source). Would help if I could get through to Microunity (where Alexia Massalin apparently works).