== stock tpm20.c provenance ==
SHA256 (tpm20.c) = e132b7c3fc045a836569e63243686c67062e9265f64a44ef694bf2562d4e7559
== generating empty opt headers ==
== pulling generated interface headers from the kernel obj tree ==
  device_if.h: 44ded32fa116dec096ca1c664e532b0b1fc8a3d562e5f2af45891d3f205e7edd
  bus_if.h: cb0df262664b865cc69ceb8c9d8d823e0d14704b4da272956353ea8fd055d0d0
  acpi_if.h: 970f4e1b564672ecddbe9c88608ee075c3e70ceba3a71133bc3e199b6ad93085
== building hangsim.ko ==
Warning: Object directory not changed from original /root/df5007
-rw-r--r--  1 root  wheel  9232 Sep 25 19:04 hangsim.ko
== building poc ==
-rwxr-xr-x  1 root  wheel  9928 Sep 25 19:10 poc
== rebuild with PATCHED stock file: new sha256 proves patched source compiled ==
SHA256 (/root/df5007/tpm20.c) = e132b7c3fc045a836569e63243686c67062e9265f64a44ef694bf2562d4e7559