Board config for at-start-f435

Mostly copy-paste of nucleo_f429

firmware/config/boards/at_start_f435/board.mk

@@ -0,0 +1,7 @@
+# List of all the board related files.
+BOARDCPPSRC = $(BOARD_DIR)/board_configuration.cpp
+DDEFS += -DLED_CRITICAL_ERROR_BRAIN_PIN=Gpio::D13
+
+DDEFS += -DFIRMWARE_ID=\"at_start_f435\"
+DDEFS += -DDEFAULT_ENGINE_TYPE=MINIMAL_PINS
+DDEFS += -DSHORT_BOARD_NAME=at_start_f435

firmware/config/boards/at_start_f435/board_configuration.cpp

@@ -0,0 +1,10 @@
+#include "pch.h"
+
+void setBoardConfigOverrides() {
+	// PD13 is error LED, configured in board.mk
+	engineConfiguration->communicationLedPin = Gpio::D14;
+	engineConfiguration->runningLedPin = Gpio::D15;
+
+	// Board only has 3 LEDs
+	engineConfiguration->warningLedPin = Gpio::Unassigned;
+}

firmware/config/boards/at_start_f435/compile_at_start_f435.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# STM32F4...
+
+SCRIPT_NAME="compile_at_start_f435.sh"
+echo "Entering $SCRIPT_NAME"
+
+bash ../common_make.sh at_start_f435 ARCH_STM32F4