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};
35