blob: 8fa5d56fa9e9402684f01e0dfc8edb35c19307d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#include <linux/kernel.h>
#include <linux/of_platform.h>
#include <asm/v7m.h>
#include <asm/mach/arch.h>
#include "common.h"
static void __init efm32_init(void)
{
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
efm32_print_reset_cause();
efm32_print_cpuinfo();
}
static const char *const efm32gg_compat[] __initconst = {
"efm32,dk3750",
NULL
};
DT_MACHINE_START(EFM32DT, "EFM32 (Device Tree Support)")
.init_machine = efm32_init,
.dt_compat = efm32gg_compat,
.restart = armv7m_restart,
MACHINE_END
|