#include <EcuM.h>

#include <OsScheduler.h>

int main(void)
{
  // Initialize the ECU manager.
  EcuM_Init();

  // Start the task scheduler.
  OsSchedulerStartOs();
}