general: Decouple platform.h

* All units which #include "general.h" get rebuilt after editing platform.h,
  which increases incremental build times during development.
  Especially target code, which is huge and platform-agnostic.
* Move platform.h out into relevant units.

src/command.c

@@ -25,6 +25,7 @@
  */
 
 #include "general.h"
+#include "platform.h"
 #include "exception.h"
 #include "command.h"
 #include "gdb_packet.h"

src/gdb_main.c

@@ -25,6 +25,7 @@
  */
 
 #include "general.h"
+#include "platform.h"
 #include "ctype.h"
 #include "hex_utils.h"
 #include "gdb_if.h"

src/include/general.h

@@ -40,7 +40,7 @@
 #include <sys/types.h>
 
 #include "maths_utils.h"
-#include "platform.h"
+#include "timing.h"
 #include "platform_support.h"
 
 #ifndef ARRAY_LENGTH

src/main.c

@@ -21,6 +21,7 @@
 /* Provides main entry point. Initialise subsystems and enter GDB protocol loop. */
 
 #include "general.h"
+#include "platform.h"
 #include "gdb_if.h"
 #include "gdb_main.h"
 #include "target.h"

src/platforms/common/aux_serial.c

@@ -32,6 +32,7 @@
 #include <libopencm3/cm3/nvic.h>
 
 #include "general.h"
+#include "platform.h"
 #include "usb_serial.h"
 #include "aux_serial.h"
 

src/platforms/common/jtagtap.c

@@ -25,6 +25,7 @@
 #include <stdio.h>
 
 #include "general.h"
+#include "platform.h"
 #include "jtagtap.h"
 
 jtag_proc_s jtag_proc;

src/platforms/common/stm32/dfucore.c

@@ -18,6 +18,7 @@
  */
 
 #include "general.h"
+#include "platform.h"
 #include "version.h"
 #include "serialno.h"
 #include <string.h>

src/platforms/common/stm32/gdb_if.c

@@ -27,6 +27,7 @@
 #include <libopencmsis/core_cm3.h>
 
 #include "general.h"
+#include "platform.h"
 #include "usb_serial.h"
 #include "gdb_if.h"
 

src/platforms/common/stm32/serialno.c

@@ -18,6 +18,7 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 #include "general.h"
+#include "platform.h"
 #include <libopencm3/stm32/desig.h>
 
 char serial_no[DFU_SERIAL_LENGTH];

src/platforms/common/stm32/timing_stm32.c

@@ -17,6 +17,7 @@
  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 #include "general.h"
+#include "platform.h"
 #include "morse.h"
 
 #include <libopencm3/cm3/systick.h>

src/platforms/common/stm32/traceswo.c

@@ -32,6 +32,7 @@
  * The core can then process the buffer to extract the frame.
  */
 #include "general.h"
+#include "platform.h"
 #include "usb.h"
 #include "traceswo.h"
 

src/platforms/common/stm32/traceswoasync.c

@@ -30,6 +30,7 @@
 
 #include <stdatomic.h>
 #include "general.h"
+#include "platform.h"
 #include "usb.h"
 #include "traceswo.h"
 

src/platforms/common/stm32/traceswoasync_f723.c

@@ -31,6 +31,7 @@
 
 #include <stdatomic.h>
 #include "general.h"
+#include "platform.h"
 #include "usb.h"
 #include "traceswo.h"
 

src/platforms/common/swdptap.c

@@ -21,6 +21,7 @@
 /* This file implements the SW-DP interface. */
 
 #include "general.h"
+#include "platform.h"
 #include "timing.h"
 #include "swd.h"
 

src/platforms/common/tm4c/traceswo.c

@@ -28,6 +28,7 @@
  */
 
 #include "general.h"
+#include "platform.h"
 #include "usb.h"
 
 #include <libopencm3/cm3/nvic.h>

src/platforms/common/usb.c

@@ -21,6 +21,7 @@
 #include <libopencm3/cm3/nvic.h>
 
 #include "general.h"
+#include "platform.h"
 #include "usb.h"
 #include "usb_descriptors.h"
 #include "usb_serial.h"

src/platforms/common/usb_serial.c

@@ -47,6 +47,7 @@
 typedef struct stat stat_s;
 #endif
 #include "general.h"
+#include "platform.h"
 #include "gdb_if.h"
 #include "usb_serial.h"
 #ifdef PLATFORM_HAS_TRACESWO

src/platforms/stlinkv3/usbdfu.c

@@ -27,6 +27,7 @@
 
 #include "usbdfu.h"
 #include "general.h"
+#include "platform.h"
 
 uintptr_t app_address = APP_START;
 

src/remote.c

@@ -23,6 +23,7 @@
 
 #include <stdarg.h>
 #include "general.h"
+#include "platform.h"
 #include "remote.h"
 #include "gdb_main.h"
 #include "gdb_packet.h"