123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- /*
- * 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
|