/**
 * file defaults.h
 */

void setLeftRightBanksNeedBetterName();
void setDefaultBaseEngine();
void setDefaultFuel();
void setDefaultIgnition();
void setDefaultCranking();
void setPPSInputs(adc_channel_e pps1, adc_channel_e pps2);