A system call on this machine costs fifty-two nanoseconds. The same call in a Linux guest on the very same processor costs eight hundred and sixteen. Neither number is about the kernel type, and that is the finding. The Bench Marker.