/* Voltage: Core, DDR and another configurable voltages Clock : Critical clocks which are not printed already RCW : RCW source if not printed already Misc : Other important information not in above catagories  */
void board_detail(void)
/* Voltage: Core, DDR and another configurable voltages Clock : Critical clocks which are not printed already RCW : RCW source if not printed already Misc : Other important information not in above catagories  */
void board_detail(void)
{
	int rcwsrc;
	rcwsrc = 0x0;
	puts("RCW source  = ");
	switch (rcwsrc & 0x1) {
	case 0x1:
		puts("SDHC/eMMC\n");
		break;
	default:
		puts("I2C normal addressing\n");
		break;
	}
}