coreboot-kgpe-d16/Documentation/technotes
..
2015-11-rebuilding-coreboot-image-generation.md
2017-02-dealing-with-untrusted-input-in-smm.md