#include <cstdint>

#include <EcuM.h>

#include <OsScheduler.h>

#if (defined(__GNUC__) && !defined(__AXIVION__))
extern "C"
{
  __attribute__((used, noinline))
  auto main(void) noexcept -> int;
}
#endif

auto main(void) noexcept -> int
{
  // Initialize the ECU manager.
  EcuM_Init();

  // Start the task scheduler.
  OsSchedulerStartOs();

  return static_cast<int>(INT8_C(0));
}