...

Just out of curiosity -- where do you want to get the not publicly available L4 x86-assembly kernel from to actually being able to redo the measurements? It is intellectual property of a company and not downloadable anywhere. I think I already have it. Otherwise, I'll make sure to contact you personally.

Which won't help since I don't have it. So I'm surprised that you have an instance.

Well, I was under imperssion that L4 is highly optimized for a processor (CPU), but not an PCI2ISA bridge or hard drive bandwidth. Am I missing something? Please let me know, so that I don't waste my time.

So if you have a Pentium 1 and the kernel you should be fine. - Volkmar