Use MbedTLS 3.5.1 and Add TLS 1.3 Support to WinSim Demos (#1135)

* Bump up to MBed-TLS V3.5.1, make changes to Visual Studio Projects to account for this.
* Update MBedTLS Transport files to call psa_crypto_init() if the MBEDTLS_PSA_CRYPTO_C is set.
* Add WIN32_LEAN_AND_MEAN to the corePKCS11_MQTT_Mutual_Auth_Windows_Simulator demo. Add in a check for MBEDTLS_ERR_SSL_RECEIVED_NEW_SESSION_TICKET when making a TLS handshake.
* Change transport interface files from using void * to mbedtls_pk_context * instead per changes in the MbedTLS API.
* Changes to Fleet Provisioning Demo and Demo Setup to use ECDSA keys
* Remove non-32 bit configs from various VisualStudio Projects. Enforce all projects using WIN32_LEAN_AND_MEAN as well as winsock2.h

.github/.cSpellWords.txt

@@ -1,4 +1,3 @@
-
 A
 AADLENR
 AAIC
@@ -100,6 +99,7 @@ AEEVT
 AEIE
 AERR
 AESCCM
+AESCE
 AESCMAC
 AESNI
 AESR
@@ -1567,6 +1567,7 @@ FERR
 FESETERR
 FESR
 FFCR
+FFDH
 FFDHE
 FFDR
 FFER
@@ -2233,6 +2234,7 @@ JKJKJKJK
 JKKKKKKK
 JNCH
 JOFR
+JPAKE
 JSQR
 JSWSTRT
 JTAG
@@ -5271,6 +5273,7 @@ addif
 addiu
 adge
 aeevt
+aesce
 aesni
 alldevs
 ambig
@@ -5592,6 +5595,7 @@ lusecs
 lxip
 macaddrhr
 macaddrlr
+maes
 maxiosz
 maxnpacks
 mbar
@@ -5641,6 +5645,7 @@ movne
 movs
 movw
 movx
+mpclmul
 mpcr
 mqdes
 mqttexample
@@ -5650,6 +5655,7 @@ mret
 mrru
 mrseq
 mrsne
+msse
 mspgcc
 msplim
 msreq

.github/scripts/core_checker.py

@@ -258,7 +258,7 @@ FREERTOS_IGNORED_EXTENSIONS = [
 
 FREERTOS_IGNORED_PATTERNS = [
     r'.*\.git.*',
-    r'.*mbedtls_config\.h.*',
+    r'.*mbedtls_config*',
     r'.*CMSIS.*',
     r'.*/Nordic_Code/*',
     r'.*/Nuvoton_Code/*',
@@ -328,9 +328,6 @@ FREERTOS_IGNORED_FILES = [
     'cspell.config.yaml',
     '.cproject',
     '.project',
-    'fyi-another-way-to-ignore-file.txt',
-    'mbedtls_config.h',
-    'mbedtls_config_v3.2.1.h',
     'requirements.txt',
     'run-cbmc-proofs.py',
     '.editorconfig',

.github/workflows/ci.yml

@@ -158,6 +158,7 @@ jobs:
       - env:
           stepName: Install Dependencies
         run: |
+          # ${{ env.stepName }}
           echo -e "::group::${{ env.stepName }}"
           git submodule update --init --checkout --recursive --depth 1
           sudo apt-get update