Merge of defragmentation feature branch onto main #148

Merged

minosgalanakis merged 18 commits from feature_merge_defragmentation into main

2025-03-13 03:23:46 -05:00

minosgalanakis commented

2025-03-12 09:55:57 -05:00

(Migrated from github.com)

Description

This is a PR merging the head of the feature branch onto main.

PR checklist

Please add the numbers (or links) of the associated pull requests for consuming branches. You can omit branches where this pull request is not needed.

TF-PSA-Crypto PRnot required because: No changes to the crypto part
development PR provided #10057
3.6 PR provided #10056

## Description This is a PR merging the head of the feature branch onto main. ## PR checklist Please add the numbers (or links) of the associated pull requests for consuming branches. You can omit branches where this pull request is not needed. - [x] **TF-PSA-Crypto PR**not required because: No changes to the crypto part - [x] **development PR** provided [#10057 ](https://github.com/Mbed-TLS/mbedtls/pull/10057) - [x] **3.6 PR** provided [#10056 ](https://github.com/Mbed-TLS/mbedtls/pull/10056)

gilles-peskine-arm (Migrated from github.com) approved these changes

2025-03-12 13:09:23 -05:00

gilles-peskine-arm (Migrated from github.com) left a comment