Rule 2.1 deviation permit?

[dg1980]

Typically, on embedded systems with a simple RTOS, main is used as background task, so it never returns:

Code:

int main(void)
{
  Setup_Rtos();
  for (;;)
  {
    Background_Task();
  }
  return 0;// Violates MISRA C 2012 2.1: unreachable code
}

Would this be a candidate for your deviation permits document?