/* Miscelaneous platform dependent initialisations while still running in flash  */
int misc_init_f(void)
/* Miscelaneous platform dependent initialisations while still running in flash  */
int misc_init_f(void)
{
	printf ("DIPSW: ");
	dipsw_init ();
	return (0);
}