28#if (defined BOARD_CONFIG) && (!defined HITL)
37#if (defined BOARD_CONFIG) && (!defined HITL)
65 w = x1 * x1 + x2 * x2;
66 }
while (w >= 1.0 || w == 0.0);
uint32_t get_sys_time_msec(void)
Get the time in milliseconds since startup.
double rand_gaussian(void)
double rand_uniform(void)
Architecture independent timing functions.