Where are the Windows Driver Kit files installed?

Question

I've installed the Windows Driver Kit but can't find the source files anywhere. The install directory is given as Program Files (x86)\windows Kits\8.0, but I can't find anything there. Where are these installed to?

I'm specifically looking for the sample files described in this article about simulating proximity features.

Answer 1

Pretty heavy changes in this version of the WDK. The sample code is no longer included, it is now a separate download. The proximity sample pops up from this query