File content as of revision 161:efd949e8d536:

#include "Device.h"
extern Device device;

void InitControllerWithDefaults(void){
  //Init chip
  device.controller.chip = (1768 << 16) | 100; //(LPC) 1768 (FBD) 100
  //Init flash memory
  InitFlashWithDefaults();
  //Init timer 1 - measurement timer
  InitMeasurementTimerWithDefaults();
  //Init timer 2 - regular timer
  InitRegularTimerWithDefaults();
  //Init UART0 - service port
  InitServicePortWithDefaults();
  //Init UART1 - user commununication port
  InitUserPortWithDefaults();
  //Init SSP
  InitSSPWithDefaults();
  //Init I2C
  InitI2CWithDefaults();
  //Init QEI
  InitQEIWithDefaults();
  //Init DAC
  //InitDACWithDefaults();
}

void InitController(void){
  //Init flash memory
  InitFlash();
  //Init timer 1 - measurement timer
  //DeviceInitMeasurementTimer(7812); //CCLK / 7812 = 12800.819Hz; Vibro: Timer1/32 = 400.025Hz;
  InitMeasurementTimer();
  //Init timer 2 - regular timer
  InitRegularTimer();
  //Init UART0 - service port
  InitServicePort();
  //Init UART1 - user commununication port
  InitUserPort();
  //Init SSP
  InitSSP();
  //InitI2C
  InitI2C();
  //InitQEI
  InitQEI();
  //Init DAC
  //InitDAC();
}