RE: paper on new FreeBSD scheduler