27 Oct
2002
27 Oct
'02
10:30 a.m.
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.