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 23*8756dd92SShawn Guo static const char * const vf610_dt_compat[] __initconst = { 245be913c6SJingchang Lu "fsl,vf610", 255be913c6SJingchang Lu NULL, 265be913c6SJingchang Lu }; 275be913c6SJingchang Lu 285be913c6SJingchang Lu DT_MACHINE_START(VYBRID_VF610, "Freescale Vybrid VF610 (Device Tree)") 29b9f71aadSRussell King .l2c_aux_val = 0, 30b9f71aadSRussell King .l2c_aux_mask = ~0, 315be913c6SJingchang Lu .init_machine = vf610_init_machine, 325be913c6SJingchang Lu .dt_compat = vf610_dt_compat, 335be913c6SJingchang Lu .restart = mxc_restart, 345be913c6SJingchang Lu MACHINE_END 35