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. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | farid.hajji@ob.kamp.net - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - Due to budget cuts, light at end of tunnel will be out. --Unknown.