/* Retrieve memory configuration for a given module. board_type is the index in hw_id_list corresponding to the module we are executing on; we return SDRAM controller settings approprate for this module.  */
static mem_conf_t* get_mem_config(int board_type)
/* Retrieve memory configuration for a given module. board_type is the index in hw_id_list corresponding to the module we are executing on; we return SDRAM controller settings approprate for this module.  */
static mem_conf_t* get_mem_config(int board_type)
{
	switch(board_type){
		case CM1_QA:
			return memory_config[0];
		case CM11_QA:
		case CMU1_QA:
			return memory_config[1];
		default:
			printf("ERROR: Unknown module, using a default SDRAM "
				"configuration - things may not work!!!.\n");
			return memory_config[0];
	}
}