Merge pull request #1281 from gilles-peskine-arm/merge-development-restricted-20240823

Merge development into -restricted