--- /usr/arm-none-eabi/include/machine/setjmp.h	2023-02-13 17:06:37.000000000 +0100
+++ setjmp.h	2023-02-15 11:47:15.668073267 +0100
@@ -9,7 +9,9 @@
 #define _JBTYPE unsigned long
 #endif
 
-#if defined(__arm__) || defined(__thumb__)
+#ifdef __ARM_ARCH_6M__
+#define _JBLEN 10 /* r4 - r10, fp, sp, lr */
+#elif defined(__arm__) || defined(__thumb__)
 /*
  * All callee preserved registers:
  *  core registers: