0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003 * ARM Ltd. Fast Models
0004 *
0005 * "rs2" extension for the v2m motherboard
0006 */
0007 / {
0008 bus@8000000 {
0009 motherboard-bus@8000000 {
0010 arm,v2m-memory-map = "rs2";
0011
0012 iofpga-bus@300000000 {
0013 virtio@140000 {
0014 compatible = "virtio,mmio";
0015 reg = <0x140000 0x200>;
0016 interrupts = <43>;
0017 };
0018
0019 virtio@150000 {
0020 compatible = "virtio,mmio";
0021 reg = <0x150000 0x200>;
0022 interrupts = <44>;
0023 };
0024
0025 virtio@200000 {
0026 compatible = "virtio,mmio";
0027 reg = <0x200000 0x200>;
0028 interrupts = <46>;
0029 status = "disabled";
0030 };
0031 };
0032 };
0033 };
0034 };