Hi,
I would like to get some benchmarks for L4 on Pentium. Specifically, I am after the times to create a process and execute a getpid (preferably in cycles).
Does anyone know where I can get such info before I try and go through the pain of measuring it myself?
Cheers,
Greg
l4-hackers@os.inf.tu-dresden.de