TX51 Release 2011-07-27

[karo-tx-redboot.git] / packages / hal / arm / mx25 / karo / v1_0 / src / tx25_misc.c

diff --git a/packages/hal/arm/mx25/karo/v1_0/src/tx25_misc.c b/packages/hal/arm/mx25/karo/v1_0/src/tx25_misc.c
index 2ecdca2050475d5b71da829a60be7bc8d336cd36..3c0b32c5b80fffd3885a49deb28b6c4928caf1dc 100644 (file)
--- a/packages/hal/arm/mx25/karo/v1_0/src/tx25_misc.c
+++ b/packages/hal/arm/mx25/karo/v1_0/src/tx25_misc.c
@@ -372,18 +372,6 @@ static void display_clock_src(void)
 #define WDOG_WRSR      ((CYG_WORD16 *)(WDOG_BASE_ADDR + 0x4))
 #define CRM_RCSR       ((CYG_WORD32 *)(CCM_BASE_ADDR + 0x28))
 
-static unsigned long random;
-extern unsigned int hal_timer_count(void);
-/* provide at least _some_ sort of randomness */
-static void random_init(void)
-{
-       do {
-               srand(random + hal_timer_count());
-               random = rand();
-       } while ((hal_timer_count() < 5) || (hal_timer_count() & 0x47110815));
-}
-RedBoot_init(random_init, RedBoot_INIT_FIRST);
-
 static void display_board_type(void)
 {
        diag_printf("\nBoard Type: Ka-Ro TX25\n");