Track the wolfSSL mlkem.h rename and give RT1060 the SDK name it selects on

Author: aidangarske

.github/workflows/cross-build.yml

@@ -437,12 +437,16 @@ jobs:
               || { echo "FAIL: $h not where the Makefile looks"; exit 1; }
           done
 
+      # $(SDK) is a selector, not a path: the Makefile gates the CPU define, the
+      # board objects and the linker script on it matching one of two literal
+      # strings, so the tree has to sit at that exact name.
       - name: Build
         run: |
           set -euo pipefail
           git clone -q --depth 1 https://github.com/wolfSSL/wolfssl /tmp/wolfssl
           cd RT1060
-          make SDK=/tmp/sdk WOLFSSL=/tmp/wolfssl
+          ln -s /tmp/sdk ./SDK_2_13_1_MIMXRT1060-EVKB
+          make WOLFSSL=/tmp/wolfssl
 
       - name: Assert it really cross-compiled
         run: |

uefi-library/src/test_app.c

@@ -32,7 +32,7 @@
 #include <wolfssl/wolfcrypt/sha3.h>
 #include <wolfssl/wolfcrypt/cmac.h>
 #include <wolfssl/wolfcrypt/chacha20_poly1305.h>
-#include <wolfssl/wolfcrypt/mlkem.h>
+#include <wolfssl/wolfcrypt/wc_mlkem.h>
 #include <wolfssl/wolfcrypt/wc_mlkem.h>
 #include <wolfssl/wolfcrypt/wc_mldsa.h>
 

uefi-library/wolfcrypt_api.h

@@ -18,7 +18,7 @@
 #include <wolfssl/wolfcrypt/logging.h>
 #include <wolfssl/wolfcrypt/error-crypt.h>
 #include <wolfssl/wolfcrypt/asn_public.h>
-#include <wolfssl/wolfcrypt/mlkem.h>
+#include <wolfssl/wolfcrypt/wc_mlkem.h>
 #include <wolfssl/wolfcrypt/ecc.h>
 #include <wolfssl/wolfcrypt/dh.h>
 #include <wolfssl/wolfcrypt/chacha.h>