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 };
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.