Mbed-TLS/mbedtls-framework
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls-framework.git synced 2026-06-05 21:15:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

check_names: allow pqcp driver to configure mldsa-native

Browse Source 
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine
2026-01-15 19:30:57 +01:00
parent 0c94e7d164
commit 18525876aa
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/check_names.py
+5
View File
@@ -1167,6 +1167,11 @@ class NameChecker():
match.name in self.BIGNUM_SHORTHANDS and \
'/bignum' in match.filename and 'include' not in match.filename:
return True
# Allow pqcp driver code to use private names of mldsa-native and
# mlkem-native. This is a necessary part of configuring them.
if re.match(r'ml[dk]_', match.name, re.I) and \
'drivers/pqcp/src/' in match.filename:
return True
return False
def check_match_pattern(self, group_to_check: str,