/* system init for baseboard usage. Will be called by mx31moboard init.  */
void __init mx31moboard_devboard_init(void)
/* system init for baseboard usage. Will be called by mx31moboard init.  */
void __init mx31moboard_devboard_init(void)
{
	printk(KERN_INFO "Initializing mx31devboard peripherals\n");
	mxc_iomux_setup_multiple_pins(devboard_pins, ARRAY_SIZE(devboard_pins),
		"devboard");
	mxc_register_device(&mxc_uart_device1, &uart_pdata);
	mxc_register_device(&mxcsdhc_device1, &sdhc2_pdata);
	devboard_usbh1_init();
}