ninenano

 1#include "xtimer.h"
 2#include "random.h"
 3#include "9util.h"
 4
 5void
 6initrand(void)
 7{
 8	random_init(xtimer_now().ticks32);
 9}
10
11uint32_t
12randu32(void)
13{
14	return random_uint32();
15}