src/arm64/arm/rtsm_ve-motherboard-rs2.dtsi

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