adds stub for dynamic core discovery in port

port/threadx_smp/inc/tx_port.h

@@ -69,7 +69,7 @@
 #define LWU          lw
 #define LOG_REGBYTES 2
 #endif
-#define REGBYTES                    (1 << LOG_REGBYTES)
+#define REGBYTES (1 << LOG_REGBYTES)
 
 #include "tx_asm_offsets.inc"
 
@@ -89,6 +89,13 @@
 #define TX_THREAD_SMP_CORE_MASK 0xF /* Where bit 0 represents Core 0, bit 1 represents Core 1, etc.  */
 #endif
 
+/* Declare ThreadX to discover the cores dynamically. The ceiling is given by TX_THREAD_SMP_MAX_CORES */
+/*
+The current implementation does not support dynamic discovery, but simply set the runtime determined number to
+TX_THREAD_SMP_MAX_CORES. See tx_thread_smp_low_level_initialize.S
+#define TX_THREAD_SMP_DYNAMIC_CORE_MAX
+*/
+
 /* Define INLINE_DECLARE */
 
 #define INLINE_DECLARE inline