diff --git a/project-overview.md b/project-overview.md
index 356460b..b69fa3f 100644
--- a/project-overview.md
+++ b/project-overview.md
@@ -20,6 +20,7 @@ To ensure that the code backs up the design, reference support for multiple atte
 
 *  EAT Tokens, with the [ARM PSA Profiles](https://datatracker.ietf.org/doc/draft-tschofenig-rats-psa-token/) being a specific test set.
 * ARM Confidential Computing Architecture (CCA) Token and its composition [Parsec-CCA](https://github.com/CCC-Attestation/attested-tls-poc/blob/main/doc/parsec-evidence-cca.md).
+  The [RATS Evidence Generation Library (REGL)](https://github.com/veraison/rust-regl) provides Rust-based evidence collection for TEE platforms.
 * [DICE layered Evidence](https://trustedcomputinggroup.org/work-groups/dice-architectures/) (Note: this does not adhere to any specific DICE-based protocol. If you're planning any particular DICE protocol implementation, we would be very interested in discussing it).
 * TPM based attestation tokens, namely [EnactTrust](https://enacttrust.com/) & [Parsec-TPM](https://github.com/CCC-Attestation/attested-tls-poc/blob/main/doc/parsec-evidence-tpm.md).
 
diff --git a/repo-guide.md b/repo-guide.md
index 68414c1..ac2bc35 100644
--- a/repo-guide.md
+++ b/repo-guide.md
@@ -41,6 +41,9 @@ A library for the Arm Confidential Computing Architecture (CCA) Attestation Toke
 [rust-ccatoken](https://github.com/veraison/rust-ccatoken)
 Rust implementation of the Arm Confidential Computing Architecture (CCA) Attestation Token library.
 
+[rust-regl](https://github.com/veraison/rust-regl)
+Rust implementation of the RATS Evidence Generation Library (REGL) - collects attestation evidence from TEE platforms.
+
 [dice](https://github.com/veraison/dice): library providing support functions for manipulating various profiles of DICE.
 
 [parsec](https://github.com/veraison/parsec): Library support for handling the Parsec Key Attestation formats used in the attested TLS PoC.
@@ -153,6 +156,7 @@ EF["<b>Evidence Formats</b>
      <i>psatoken</i>
      <i>ccatoken</i>
      <i>rust-ccatoken</i>
+     <i>rust-regl</i>
      <i>enacttrust-tpm</i>
      <i>parsec (tpm, cca)</i>"]
 EF ---> CL