2012-11-19 09:46:10 -08:00
|
|
|
/*
|
|
|
|
|
* Copyright (C) 2012 Broadcom Corporation
|
|
|
|
|
*
|
|
|
|
|
* 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 version 2.
|
|
|
|
|
*
|
|
|
|
|
* This program is distributed "as is" WITHOUT ANY WARRANTY of any
|
|
|
|
|
* kind, whether express or implied; without even the implied warranty
|
|
|
|
|
* of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <linux/of_platform.h>
|
|
|
|
|
#include <linux/init.h>
|
|
|
|
|
#include <linux/device.h>
|
|
|
|
|
#include <linux/platform_device.h>
|
2012-11-05 16:18:28 -06:00
|
|
|
#include <linux/irqchip.h>
|
2012-11-19 09:46:10 -08:00
|
|
|
|
|
|
|
|
#include <asm/mach/arch.h>
|
|
|
|
|
#include <asm/mach/time.h>
|
|
|
|
|
|
|
|
|
|
static void timer_init(void)
|
|
|
|
|
{
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
static void __init board_init(void)
|
|
|
|
|
{
|
|
|
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL,
|
|
|
|
|
&platform_bus);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static const char * const bcm11351_dt_compat[] = { "bcm,bcm11351", NULL, };
|
|
|
|
|
|
|
|
|
|
DT_MACHINE_START(BCM11351_DT, "Broadcom Application Processor")
|
2012-11-05 16:18:28 -06:00
|
|
|
.init_irq = irqchip_init,
|
2012-11-08 12:40:59 -07:00
|
|
|
.init_time = timer_init,
|
2012-11-19 09:46:10 -08:00
|
|
|
.init_machine = board_init,
|
|
|
|
|
.dt_compat = bcm11351_dt_compat,
|
|
|
|
|
MACHINE_END
|
