/* Miscelaneous platform dependent initialisations after monitor has been relocated into ram  */
int misc_init_r(void)
/* Miscelaneous platform dependent initialisations after monitor has been relocated into ram  */
int misc_init_r(void)
{
	printf ("misc_init_r\n");
	return (0);
}