/* User can (and should) define the platform from U-Boot  */
static int __init lpc18xx_platform_parse(char *s)
/* User can (and should) define the platform from U-Boot  */
static int __init lpc18xx_platform_parse(char *s)
{
	if (!strcmp(s, "hitex-lpc4350"))
		lpc18xx_platform = PLATFORM_LPC18XX_HITEX_LPC4350_EVAL;
	else if (!strcmp(s, "hitex-lpc1850"))
		lpc18xx_platform = PLATFORM_LPC18XX_HITEX_LPC1850_EVAL;
	return 1;
}