SPEC CPU 2000 Benchmarks

Julian Grizzard grizzard at ece.gatech.edu
Sun Jan 29 01:02:19 CET 2006

Hi all,

Does anyone have any recent SPEC 2000 benchmarks comparing Linux to
L4Linux running on Fiasco?  I'm getting surprisingly high results
running on a Pentium IV 2.53 GHz forcing memory to be 256M in both
systems.  I haven't even tweaked all the performance critical options in
L4 to the "off" state yet.



More information about the l4-hackers mailing list