Win 10 leak, incl. some source

[pp2]

Originally Posted by sf42

The problem is that I have no idea which builds include private symbols!

When you build any program or driver, usually compiler creates PDB file, but, there are two options, when linker writes it: /PDB - usual (normal) debug information and /PDBSTRIPPED - do not include some type, class and function information for private symbols. By default, all symbols are visible, but again, you can restrict this by only exported (public) symbols.

I presume, that PDB files for NT kernel for example, if they are really full, should by 2-3 times bigger, than usual ones. Checked builds - are not builds with private symbols, but contain different assertions and checks (so they are called "checked"), they are useful for hard debugging, but do not contain much additional information about kernel internals.