Merge branch '7.0'

2025-10-10 10:33:50 +02:00
parent 8041c7827e a2e01c2929
commit 1918aebf97
90 changed files with 2234 additions and 1116 deletions
@@ -9,7 +9,14 @@
 #include <set>
 #include <map>

+#if defined(vxWorks) && \
+      (_WRS_VXWORKS_MAJOR+0 <= 6) && (_WRS_VXWORKS_MINOR+0 < 9)
+typedef int intptr_t;
+typedef unsigned int uintptr_t;
+#else
 #include <stdint.h>
+#endif
+
 #include <string.h>
 #include <stdint.h>