/* * rng.h * * Created on: 26.01.2016 * Author: pavel */ #include <stdint.h> #ifndef RNG_H_ #define RNG_H_ void RNG_Init(void); uint32_t GetRandomNumber(void); #endif /* RNG_H_ */