imx51: TX51 config cleanup

[karo-tx-redboot.git] / packages / hal / arm / mx51 / karo / v1_0 / src / tx51_misc.c

diff --git a/packages/hal/arm/mx51/karo/v1_0/src/tx51_misc.c b/packages/hal/arm/mx51/karo/v1_0/src/tx51_misc.c
index c350bbad3e9b7e3ddd429084e62839f4bbcb0899..112dad19da9d1c1bbd8cc6e4960c65eaa0ad961c 100644 (file)
--- a/packages/hal/arm/mx51/karo/v1_0/src/tx51_misc.c
+++ b/packages/hal/arm/mx51/karo/v1_0/src/tx51_misc.c
@@ -57,7 +57,7 @@
 #include <cyg/hal/hal_cache.h>
 #include <cyg/hal/hal_soc.h>           // Hardware definitions
 #include <cyg/hal/mx51_iomux.h>
-#include <cyg/hal/karo_tx51.h>         // Platform specifics
+#include CYGBLD_HAL_PLF_DEFS_H         // Platform specifics
 
 #include <cyg/infra/diag.h>                    // diag_printf
 
@@ -476,28 +476,9 @@ void increase_core_voltage(bool i)
        }
 }
 
-static unsigned long random;
-/* provide at least _some_ sort of randomness */
-#define MAX_LOOPS      100
-extern int hal_timer_count(void);
-
-static void random_init(void)
-{
-       unsigned long timer;
-
-       int loops = MAX_LOOPS;
-
-       do {
-               timer = hal_timer_count();
-               srand(random + timer);
-               random = rand();
-       } while ((timer < 5) || ((timer & (random >> (random & 0x1f))) && --loops > 0));
-}
-RedBoot_init(random_init, RedBoot_INIT_FIRST);
-
 static void display_board_type(void)
 {
-       diag_printf("\nBoard Type: Ka-Ro TX51-80x%d\n",
+       diag_printf("\nBoard Type: Ka-Ro TX51-8xx%d\n",
                SDRAM_SIZE > SZ_128M);
 }