Change all time conversions. Yech. New timer units in microseconds breaks all existing logic that used milliseconds in the conversions. Something likely got broken doing this, probably because I confused a MSEC2TICK conversion with a TICK2MSEC conversion. Also, the tickless OS no appears fully functional and passes the OS test on the simulator with no errors

examples/ostest/ostest_main.c

@@ -322,7 +322,7 @@ static int user_main(int argc, char *argv[])
 #endif
 
 #ifdef  CONFIG_ARCH_FPU
-  /* Check that the FPU is properly supported during context switching */
+      /* Check that the FPU is properly supported during context switching */
 
       printf("\nuser_main: FPU test\n");
       fpu_test();

examples/ostest/restart.c

@@ -189,5 +189,5 @@ void restart_test(void)
       sleep(1);
     }
 
-  printf("restart_main: Exitting\n");
+  printf("restart_main: Exiting\n");
 }