/*-
* Copyright (c) 2014 Ruslan Bukin <br@bsdpad.com>
* All rights reserved.
*
* This software was developed by SRI International and the University of
* ("CTSRD"), as part of the DARPA CRASH research programme.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*
* $FreeBSD$
*/
/ {
compatible = "altr,socfpga";
aliases {
};
compatible = "simple-bus";
compatible = "arm,gic";
< 0xfffec100 0x100 >; /* CPU Interface */
};
mp_tmr@40002100 {
compatible = "arm,mpcore-timers";
< 0xfffec600 0x100 >; /* Private Timer */
};
compatible = "altr,sys-mgr";
};
compatible = "altr,clk-mgr";
};
compatible = "altr,rst-mgr";
};
compatible = "altr,l3regs";
};
compatible = "altr,fpga-mgr";
<0xffb90000 0x1000>; /* FPGAMGRDATA */
interrupts = < 207 >;
};
compatible = "snps,dw-apb-gpio";
compatible = "snps,dw-apb-gpio-port";
};
};
compatible = "snps,dw-apb-gpio";
compatible = "snps,dw-apb-gpio-port";
};
};
compatible = "snps,dw-apb-gpio";
compatible = "snps,dw-apb-gpio-port";
};
};
compatible = "ns16550";
interrupts = <194>;
status = "disabled";
};
compatible = "ns16550";
interrupts = <195>;
status = "disabled";
};
compatible = "synopsys,designware-hs-otg2";
interrupts = <157>;
status = "disabled";
};
compatible = "synopsys,designware-hs-otg2";
interrupts = <160>;
dr_mode = "host";
status = "disabled";
};
compatible = "altr,socfpga-stmmac",
"snps,dwmac-3.70a", "snps,dwmac";
interrupts = <147>;
status = "disabled";
};
compatible = "altr,socfpga-stmmac",
"snps,dwmac-3.70a", "snps,dwmac";
interrupts = <152>;
status = "disabled";
};
compatible = "altr,socfpga-dw-mshc";
interrupts = <171>;
status = "disabled";
};
};
};