6d85e2b0b6
There are still some missing parts (e.g. board support, device trees), but with these bits added on top of this patch I can successfully boot a EFM32GG-DK3750 board that uses an EFM32GG990F1024. Signed-off-by: Uwe Kleine-König <u.kleine-koenig@pengutronix.de>
16 lines
289 B
C
16 lines
289 B
C
#include <linux/kernel.h>
|
|
|
|
#include <asm/v7m.h>
|
|
|
|
#include <asm/mach/arch.h>
|
|
|
|
static const char *const efm32gg_compat[] __initconst = {
|
|
"efm32,dk3750",
|
|
NULL
|
|
};
|
|
|
|
DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
|
|
.dt_compat = efm32gg_compat,
|
|
.restart = armv7m_restart,
|
|
MACHINE_END
|