I read paper comparing performance of L4Linux of MkLinux (atop OSFMK) on x86 computer. Results are very interesting. I would really like to conduct benchmarks on my own. I know where to download Linux and L4Linux, but not the MkLinux for Intel. Does anyone still have binaries? If you do, please let me know how I could get these. Thank you, IS.
You may want to have a look at http://www.mklinux.org/ I compiled MkLinux and OSF/Mk from the CVS sources on Intel a while ago. Don't know if it is still possible...
Regards,
-Farid.