Correct me if I'm wrong, but wasn't MkLinux using a kernel from the 2.0 series?
Correct.
If so, you should remember that comparing with a current L4Linux will be like comparing apples and oranges (depending on what you intend to measure, that is).
You're absolutely right.
eSk
-Farid.