/* Basic board specific setup. Pinmux has been handled already.  */
int board_init(void)
/* Basic board specific setup. Pinmux has been handled already.  */
int board_init(void)
{
	gpio_request(ESC_KEY, "boot-key");
	if (power_tps65217_init(0))
		printf("WARN: cannot setup PMIC 0x24 @ bus #0, not found!.\n");
	return 0;
}