}
}
-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);
-
#define WDOG_WRSR ((CYG_WORD16 *)0x10002004)
static void display_board_type(void)
{