2022-01-04 17:03:41 -08:00
|
|
|
#include "pch.h"
|
|
|
|
|
|
|
|
void setPinConfigurationOverrides(void) {
|
|
|
|
}
|
|
|
|
|
|
|
|
void setSerialConfigurationOverrides(void) {
|
|
|
|
}
|
|
|
|
|
|
|
|
void setSdCardConfigurationOverrides(void) {
|
|
|
|
}
|
2022-01-10 13:14:39 -08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Board-specific initialization code.
|
|
|
|
* @todo Add your board-specific code, if any.
|
|
|
|
*/
|
|
|
|
void boardInit(void)
|
|
|
|
{
|
|
|
|
/* NOP */
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Board-specific configuration defaults.
|
|
|
|
* @todo Add your board-specific code, if any.
|
|
|
|
*/
|
|
|
|
void setBoardDefaultConfiguration(void) {
|
|
|
|
engineConfiguration->communicationLedPin = GPIO_UNASSIGNED;
|
|
|
|
engineConfiguration->runningLedPin = GPIOG_13; /* LD3 - green */
|
|
|
|
engineConfiguration->warningLedPin = GPIO_UNASSIGNED;
|
|
|
|
}
|