"Igor Shmukler" shmukler@mail.ru writes:
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.
Just to ensure that you have the right kernel version, could you post the Copyright line? Just apply strings on the l4 image...
We used the following Version for our measurements (taken from some old logs):
L4/Pentium ยต-Kernel, Copyright (C) GMD 1995,1996 Version 20007, 18.08.96
BTW, binaries were for 1.2 kernel, but I managed to roll back some changes from current CVS repository (surely with help of binaries+sources) and produced working 2.0 kernel.
Sorry for the confusion. We did the measurements 5 Years ago :) We used the following Kernel-Version:
Linux anna 2.0.28-osfmach3 #5 Fri Mar 28 12:18:28 MET 1997 i586 unknown
Regards, Jean