1 files changed, 37 insertions, 0 deletions
diff --git a/boards/dk-tm4c129x/freertos_demo/random.h b/boards/dk-tm4c129x/freertos_demo/random.h
new file mode 100644
index 0000000..2924e7b
--- /dev/null
+++ b/boards/dk-tm4c129x/freertos_demo/random.h
@@ -0,0 +1,37 @@
+//*****************************************************************************
+//
+// random.h - Protoytpes for the random number generator.
+//
+// Copyright (c) 2005-2014 Texas Instruments Incorporated.  All rights reserved.
+// Software License Agreement
+// 
+// Texas Instruments (TI) is supplying this software for use solely and
+// exclusively on TI's microcontroller products. The software is owned by
+// TI and/or its suppliers, and is protected under applicable copyright
+// laws. You may not combine this software with "viral" open-source
+// software in order to form a larger program.
+// 
+// THIS SOFTWARE IS PROVIDED "AS IS" AND WITH ALL FAULTS.
+// NO WARRANTIES, WHETHER EXPRESS, IMPLIED OR STATUTORY, INCLUDING, BUT
+// NOT LIMITED TO, IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE APPLY TO THIS SOFTWARE. TI SHALL NOT, UNDER ANY
+// CIRCUMSTANCES, BE LIABLE FOR SPECIAL, INCIDENTAL, OR CONSEQUENTIAL
+// DAMAGES, FOR ANY REASON WHATSOEVER.
+// 
+// This is part of revision 2.1.0.12573 of the DK-TM4C129X Firmware Package.
+//
+//*****************************************************************************
+
+#ifndef __RANDOM_H__
+#define __RANDOM_H__
+
+//*****************************************************************************
+//
+// Prototypes for the random number generator functions.
+//
+//*****************************************************************************
+extern void RandomAddEntropy(uint32_t ui32Entropy);
+extern void RandomSeed(void);
+extern uint32_t RandomNumber(void);
+
+#endif // __RANDOM_H__