I don't see the kernel source there. Where is it? That's what we were talking about, the kernel. What happens if I don't want to trust what Microsoft has to say about Windows' kernel? If you don't trust Apple, you can look and inspect their kernel source just xBSD and GNU/Linux systems. You don't even have to go to court to get that code, its free for the taking...even compile it on an x86 box.