"Igor Shmukler" <[EMAIL PROTECTED]> 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 _______________________________________________ l4-hackers mailing list [EMAIL PROTECTED] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
