2 * Copyright 2013 Freescale Semiconductor, Inc.
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
10 #include <linux/irqchip.h>
12 #include <linux/of_platform.h>
13 #include <asm/mach/arch.h>
14 #include <asm/mach/map.h>
18 static void __init imx6sl_init_machine(void)
20 mxc_arch_reset_init_dt();
22 of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
25 static void __init imx6sl_init_irq(void)
33 static const char *imx6sl_dt_compat[] __initdata = {
38 DT_MACHINE_START(IMX6SL, "Freescale i.MX6 SoloLite (Device Tree)")
39 .map_io = debug_ll_io_init,
40 .init_irq = imx6sl_init_irq,
41 .init_machine = imx6sl_init_machine,
42 .dt_compat = imx6sl_dt_compat,
43 .restart = mxc_restart,