// SPDX-License-Identifier: GPL-2.0
/*
 * ARM Ltd. Fast Models
 *
 * "rs2" extension for the v2m motherboard
 */
/ {
	bus@8000000 {
		motherboard-bus@8000000 {
			arm,v2m-memory-map = "rs2";

			iofpga-bus@300000000 {
				virtio@140000 {
					compatible = "virtio,mmio";
					reg = <0x140000 0x200>;
					interrupts = <43>;
				};

				virtio@150000 {
					compatible = "virtio,mmio";
					reg = <0x150000 0x200>;
					interrupts = <44>;
				};

				virtio@200000 {
					compatible = "virtio,mmio";
					reg = <0x200000 0x200>;
					interrupts = <46>;
					status = "disabled";
				};
			};
		};
	};
};