@@ -0,0 +1,16 @@
+/*
+ * 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_ */