| * Copyright 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 <dt-bindings/interrupt-controller/arm-gic.h> |
| compatible = "arm,cortex-a5"; |
| intc: interrupt-controller@40002000 { |
| compatible = "arm,cortex-a9-gic"; |
| interrupt-parent = <&intc>; |
| reg = <0x40003000 0x1000>, |
| global_timer: timer@40002200 { |
| compatible = "arm,cortex-a9-global-timer"; |
| interrupts = <GIC_PPI 11 IRQ_TYPE_LEVEL_HIGH>; |
| interrupt-parent = <&intc>; |
| clocks = <&clks VF610_CLK_PLATFORM_BUS>; |
| interrupt-parent = <&intc>; |