1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * ARM Ltd. Fast Models
 4 *
 5 * "rs2" extension for the v2m motherboard
 6 */
 7/ {
 8	bus@8000000 {
 9		motherboard-bus@8000000 {
10			arm,v2m-memory-map = "rs2";
11
12			iofpga-bus@300000000 {
13				virtio@140000 {
14					compatible = "virtio,mmio";
15					reg = <0x140000 0x200>;
16					interrupts = <43>;
17				};
18
19				virtio@150000 {
20					compatible = "virtio,mmio";
21					reg = <0x150000 0x200>;
22					interrupts = <44>;
23				};
24
25				virtio@200000 {
26					compatible = "virtio,mmio";
27					reg = <0x200000 0x200>;
28					interrupts = <46>;
29					status = "disabled";
30				};
31			};
32		};
33	};
34};