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 -- Greg Law, email: gel@soi.city.ac.uk Dept. Of Computing, web: http://www.soi.city.ac.uk/~gel/ City University, phone: +44 20 7477 8341 London, UK. EC1V 0HB. fax: +44 20 7477 8587