File content as of revision 173:7f938afb0447:

#include "Device.h"
extern Device device;

void InitControllerDefaultSettings(void){
  //Init chip
  device.controller.chip = (1768 << 16) | 100; //(LPC) 1768 (FBD) 100
  //Init flash memory
  InitFlashDefaultSettings();
  //Init timer 1 - measurement timer
  InitMeasurementTimerDefaultSettings();
  //Init timer 2 - regular timer
  InitRegularTimerDefaultSettings();
  //Init UART0 - service port
  InitServicePortDefaultSettings();
  //Init UART1 - user commununication port
  InitUserPortDefaultSettings();
  //Init SSP
  InitSSPDefaultSettings();
  //Init I2C
  InitI2CDefaultSettings();
  //Init QEI
  InitQEIDefaultSettings();
}

void InitControllerState(void){
  //Init flash memory
  InitFlashState();
  //Init timer 1 - measurement timer
  InitMeasurementTimerState(); //Init in dither module
  //Init timer 2 - regular timer
  InitRegularTimerState();
  //Init UART0 - service port
  InitServicePortState();
  //Init UART1 - user commununication port
  InitUserPortState();
  //Init SSP
  InitSSPState();
  //InitI2C
  InitI2CState();
  //InitQEI
  InitQEIState();
}

void DeviceStartController(void){
  DeviceStartServicePort();
  DeviceStartUserPort();
  DeviceStartSSP();
  DeviceStartI2C();
  //DeviceStartQEI();
  //DeviceStartMeasurementTimer();
  //DeviceStartRegularTimer();
}