Add RISC-V32 arch. port layer

 - made it complient as per new risc-v64/gnu
   & threadx style
 - mv tx_timer_interrupt.c to respective tx_timer_interrupt.S
 - improved comments
 - added reademe for risc-v32/gnu port

Signed-off-by: Akif Ejaz <akif.ejaz@10xengineers.ai>

Author: akifejaz

ports/risc-v32/gnu/CMakeLists.txt

@@ -9,7 +9,7 @@ target_sources(${PROJECT_NAME}
 	${CMAKE_CURRENT_LIST_DIR}/src/tx_thread_schedule.S
 	${CMAKE_CURRENT_LIST_DIR}/src/tx_thread_stack_build.S
 	${CMAKE_CURRENT_LIST_DIR}/src/tx_thread_system_return.S
-	${CMAKE_CURRENT_LIST_DIR}/src/tx_timer_interrupt.c
+	${CMAKE_CURRENT_LIST_DIR}/src/tx_timer_interrupt.S
     # {{END_TARGET_SOURCES}}
 )
 

ports/risc-v32/gnu/inc/tx_port.h

@@ -53,10 +53,7 @@
 #ifndef TX_PORT_H
 #define TX_PORT_H
 
-#ifdef __ASSEMBLER__
-
-
-#else   /*not __ASSEMBLER__ */
+#ifndef __ASSEMBLER__
 
 /* Include for memset.  */
 #include <string.h>
@@ -71,13 +68,16 @@
    alternately be defined on the command line.  */
 
 #include "tx_user.h"
-#endif
+#endif /* TX_INCLUDE_USER_DEFINE_FILE */
 
+#endif /* __ASSEMBLER__ */
 
 
 /* Define ThreadX basic types for this port.  */
 
 #define VOID                                    void
+
+#ifndef __ASSEMBLER__
 typedef char                                    CHAR;
 typedef unsigned char                           UCHAR;
 typedef int                                     INT;
@@ -88,6 +88,8 @@ typedef unsigned long long                      ULONG64;
 typedef short                                   SHORT;
 typedef unsigned short                          USHORT;
 #define ULONG64_DEFINED
+#endif /* __ASSEMBLER__ */
+
 
 
 
@@ -233,20 +235,26 @@ typedef unsigned short                          USHORT;
    is used to define a local function save area for the disable and restore
    macros.  */
 
+/* Expose helper used to perform an atomic read/modify/write of mstatus.
+   The helper composes and returns the posture per ThreadX contract. */
+#ifndef __ASSEMBLER__
+UINT                                            _tx_thread_interrupt_control(UINT new_posture);
+#endif
+
 #ifdef TX_DISABLE_INLINE
 
 #define TX_INTERRUPT_SAVE_AREA                  register UINT interrupt_save;
 
 #define TX_DISABLE                              __asm__ volatile("csrrci %0, mstatus, 8" : "=r" (interrupt_save) :: "memory");
 #define TX_RESTORE                              { \
-                                                      unsigned long _temp_mstatus; \
-                                                      __asm__ volatile( \
-                                                         "csrc mstatus, 8\n" \
-                                                         "andi %0, %1, 8\n" \
-                                                         "csrs mstatus, %0" \
-                                                         : "=&r" (_temp_mstatus) \
-                                                         : "r" (interrupt_save) \
-                                                         : "memory"); \
+                                                    unsigned long _temp_mstatus; \
+                                                    __asm__ volatile( \
+                                                        "csrc mstatus, 8\n" \
+                                                        "andi %0, %1, 8\n" \
+                                                        "csrs mstatus, %0" \
+                                                        : "=&r" (_temp_mstatus) \
+                                                        : "r" (interrupt_save) \
+                                                        : "memory"); \
                                                 }
 
 #else
@@ -271,11 +279,13 @@ typedef unsigned short                          USHORT;
 
 /* Define the version ID of ThreadX.  This may be utilized by the application.  */
 
+#ifndef __ASSEMBLER__
 #ifdef TX_THREAD_INIT
 CHAR                            _tx_version_id[] =
                                     "Copyright (c) 2024 Microsoft Corporation. * ThreadX RISC-V32/GNU Version 6.4.2 *";
 #else
 extern  CHAR                    _tx_version_id[];
-#endif   /* TX_THREAD_INIT */
-#endif   /* __ASSEMBLER__ */ 
-#endif   /* TX_PORT_H */
+#endif /* TX_THREAD_INIT */
+#endif /* __ASSEMBLER__ */
+
+#endif /* TX_PORT_H */