I wonder how much of linux and *BSD is in the windows kernel.