15be913c6SJingchang Lu /* 25be913c6SJingchang Lu * Copyright 2012-2013 Freescale Semiconductor, Inc. 35be913c6SJingchang Lu * 45be913c6SJingchang Lu * This program is free software; you can redistribute it and/or modify 55be913c6SJingchang Lu * it under the terms of the GNU General Public License as published by 65be913c6SJingchang Lu * the Free Software Foundation; either version 2 of the License, or 75be913c6SJingchang Lu * (at your option) any later version. 85be913c6SJingchang Lu */ 95be913c6SJingchang Lu 105be913c6SJingchang Lu #include <linux/of_platform.h> 115be913c6SJingchang Lu #include <linux/irqchip.h> 125be913c6SJingchang Lu #include <asm/mach/arch.h> 135be913c6SJingchang Lu #include <asm/hardware/cache-l2x0.h> 145be913c6SJingchang Lu 155be913c6SJingchang Lu #include "common.h" 165be913c6SJingchang Lu 175be913c6SJingchang Lu static void __init vf610_init_machine(void) 185be913c6SJingchang Lu { 195be913c6SJingchang Lu mxc_arch_reset_init_dt(); 205be913c6SJingchang Lu of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL); 215be913c6SJingchang Lu } 225be913c6SJingchang Lu 235be913c6SJingchang Lu static void __init vf610_init_irq(void) 245be913c6SJingchang Lu { 255be913c6SJingchang Lu l2x0_of_init(0, ~0UL); 265be913c6SJingchang Lu irqchip_init(); 275be913c6SJingchang Lu } 285be913c6SJingchang Lu 29*df79bc9cSShawn Guo static const char *vf610_dt_compat[] __initconst = { 305be913c6SJingchang Lu "fsl,vf610", 315be913c6SJingchang Lu NULL, 325be913c6SJingchang Lu }; 335be913c6SJingchang Lu 345be913c6SJingchang Lu DT_MACHINE_START(VYBRID_VF610, "Freescale Vybrid VF610 (Device Tree)") 355be913c6SJingchang Lu .init_irq = vf610_init_irq, 365be913c6SJingchang Lu .init_machine = vf610_init_machine, 375be913c6SJingchang Lu .dt_compat = vf610_dt_compat, 385be913c6SJingchang Lu .restart = mxc_restart, 395be913c6SJingchang Lu MACHINE_END 40