[PATCH 7/9] lpc2k: Add EmbeddedArtists LPC2478 Developer's Kit board

[Kevin Wells]

> +static void __init lpc2478oem_init_irq(void)
> +{
> +	/* XXX workaround for the fact that EINT3 is connected to high-
> active
> +	 * signal, but can't be disabled. As the EINT3 interrupt is also
> used
> +	 * for GPIO interrupts, this will cause an interrupt storm without
> +	 * this setting.
> +	 */
> +	iowrite32(ioread32(APB_SCB_BASE + EXTPOLAR) | (1 << 3),
> +		APB_SCB_BASE + EXTPOLAR);
> +
> +	lpc2k_init_irq();
> +	lpc2k_init_clocks(12000000UL, 32768000UL);

Should the RTC clock be 32768?

> +}
> +
> +MACHINE_START(LPC2478OEM, "Embedded Artists LPC2478 OEM Board")
> +	.init_irq	= lpc2478oem_init_irq,
> +	.timer		= &lpc2k_timer,
> +	.init_machine	= lpc2478oem_init_machine,
> +MACHINE_END