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
l4-hackers@os.inf.tu-dresden.de