A Linux versus FreeBSD kernel performance comparison