Added checks and defines for device revisions.

This can be used for errata workarounds in the drivers.

os/hal/boards/TI_TM4C123G_LAUNCHPAD/board.h

@@ -28,9 +28,10 @@
 #define BOARD_NAME              "Texas Instruments TM4C123G Launchpad"
 
 /*
- * MCU type as defined in the TI header.
+ * MCU type and revision as defined in the TI header.
  */
 #define PART_TM4C123GH6PM
+#define TARGET_IS_TM4C123_RB1
 
 /*
  * Board oscillators-related settings.

os/hal/boards/TI_TM4C1294_LAUNCHPAD/board.h

@@ -36,9 +36,10 @@
 //#define BOARD_PHY_RMII
 
 /*
- * MCU type as defined in the TI header.
+ * MCU type and revision as defined in the TI header.
  */
 #define PART_TM4C1294NCPDT
+#define TARGET_IS_TM4C129_RA0
 
 /*
  * Board oscillators-related settings.

os/hal/ports/TIVA/TM4C123x/tiva_registry.h

@@ -58,6 +58,12 @@
 #error "No valid device defined."
 #endif
 
+#if !defined(TARGET_IS_TM4C123_RA1) && !defined(TARGET_IS_TM4C123_RA2) && \
+    !defined(TARGET_IS_TM4C123_RA3) && !defined(TARGET_IS_TM4C123_RB0) && \
+    !defined(TARGET_IS_TM4C123_RB1)
+#error "No valid device revision defined."
+#endif
+
 /**
  * @brief   Sub-family identifier.
  */

os/hal/ports/TIVA/TM4C129x/tiva_registry.h

@@ -35,6 +35,10 @@
 #error "No valid device defined."
 #endif
 
+#if !defined(TARGET_IS_TM4C129_RA0)
+#error "No valid device revision defined."
+#endif
+
 /**
  * @brief   Sub-family identifier.
  */