Remove busy loop in main.c, not needed once other threads are run

openrtx/src/main.c

@@ -30,6 +30,5 @@ int main(void)
     // Create OpenRTX threads
     create_threads();
 
-    while(1) ;
     return 0;
 }