I have the OpenNT, Windows NT, some win2k leaks...any interest there?

I would like to have them for my collection, would be nice if you could post them. :)

https://releases.opennt.eu/

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.