Where are the Windows Driver Kit files installed?

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

For those looking for the non-sample files, they do get installed by default to: c:\Program Files (x86)\Windows Kits\8.0

Note the x86

Starting with Windows 10, the samples are published through Github: https://github.com/Microsoft/Windows-driver-samples