|
@@ -0,0 +1,48 @@
|
|
|
+/*
|
|
|
+ * Copyright 2012-2013 Freescale Semiconductor, Inc.
|
|
|
+ *
|
|
|
+ * This program is free software; you can redistribute it and/or modify
|
|
|
+ * it under the terms of the GNU General Public License as published by
|
|
|
+ * the Free Software Foundation; either version 2 of the License, or
|
|
|
+ * (at your option) any later version.
|
|
|
+ */
|
|
|
+
|
|
|
+#include <linux/of_platform.h>
|
|
|
+#include <linux/clocksource.h>
|
|
|
+#include <linux/irqchip.h>
|
|
|
+#include <linux/clk-provider.h>
|
|
|
+#include <asm/mach/arch.h>
|
|
|
+#include <asm/hardware/cache-l2x0.h>
|
|
|
+
|
|
|
+#include "common.h"
|
|
|
+
|
|
|
+static void __init vf610_init_machine(void)
|
|
|
+{
|
|
|
+ mxc_arch_reset_init_dt();
|
|
|
+ of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
|
|
+}
|
|
|
+
|
|
|
+static void __init vf610_init_irq(void)
|
|
|
+{
|
|
|
+ l2x0_of_init(0, ~0UL);
|
|
|
+ irqchip_init();
|
|
|
+}
|
|
|
+
|
|
|
+static void __init vf610_init_time(void)
|
|
|
+{
|
|
|
+ of_clk_init(NULL);
|
|
|
+ clocksource_of_init();
|
|
|
+}
|
|
|
+
|
|
|
+static const char *vf610_dt_compat[] __initdata = {
|
|
|
+ "fsl,vf610",
|
|
|
+ NULL,
|
|
|
+};
|
|
|
+
|
|
|
+DT_MACHINE_START(VYBRID_VF610, "Freescale Vybrid VF610 (Device Tree)")
|
|
|
+ .init_irq = vf610_init_irq,
|
|
|
+ .init_time = vf610_init_time,
|
|
|
+ .init_machine = vf610_init_machine,
|
|
|
+ .dt_compat = vf610_dt_compat,
|
|
|
+ .restart = mxc_restart,
|
|
|
+MACHINE_END
|