Clarify SealSQ PQC builds and examples

[aidangarske]

• Separate SealSQ SPI, Linux kernel device, and fwTPM build instructions.
• mention /dev/tpm0 use in SealSQ TPM
• Show SHA-256 and PQC examples that do not require SHA-1 for SealSQ TPM

[Copilot]

Warning

Copilot couldn't run its full agentic review because it didn't start before the timeout. Make sure your repository has a runner available, or add a copilot-code-review.yml file specifying one with the runs-on attribute. See the docs for more details.

Copilot review overview

Review effort: Lite
Findings: 3

Open (3)

• The CFLAGS='-DTPM2_LINUX_DEV=\"/dev/tpm0\"' quoting is easy to mis-copy (especially across… · New
• These updated error messages removed the previously-mentioned --enable-experimental requirement.… · New
• These updated error messages removed the previously-mentioned --enable-experimental requirement.… · New

What changed in this PR

Improves documentation around building and running post-quantum (ML-DSA / ML-KEM) examples by separating fwTPM vs. SealSQ QVault hardware instructions and adding non-SHA-1 example invocations.

Changes:

• Reworked PQC example README to clearly split fwTPM vs. SealSQ QVault hardware usage, including /dev/tpm0 guidance.
• Updated top-level README to add a dedicated “Hardware TPM: SealSQ QVault” build section and clarify PCR wording.
• Relaxed configure.ac v1.85/PQC dependency error messages for wolfSSL build flags.

File	Description
examples/​pqc/​README.md	Separates fwTPM vs hardware instructions; adds /dev/tpm0 + non-SHA-1 example commands.
configure.ac	Updates autoconf error messages for wolfSSL v1.85/PQC prerequisites.
README.md	Adds hardware build section and non-SHA-1 example list; clarifies PCR description.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.