1/*
2 * Copyright Linux Kernel Team
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 *
6 * This file is derived from an intermediate build stage of the
7 * Linux kernel. The licenses of all input files to this process
8 * are compatible with GPL-2.0-only.
9 */
10
11/dts-v1/;
12
13/ {
14  #address-cells = <0x00000002>;
15  #size-cells = <0x00000002>;
16  compatible = "ucbbar,spike-bare-dev";
17  model = "ucbbar,spike-bare,qemu";
18  chosen {
19    bootargs = "";
20  };
21  cpus {
22    #address-cells = <0x00000001>;
23    #size-cells = <0x00000000>;
24    timebase-frequency = <0x00989680>;
25    cpu@0 {
26      device_type = "cpu";
27      reg = <0x00000000>;
28      status = "okay";
29      compatible = "riscv";
30      riscv,isa = "rv64imafdcsu";
31      mmu-type = "riscv,sv48";
32      clock-frequency = <0x3b9aca00>;
33      interrupt-controller {
34        #interrupt-cells = <0x00000001>;
35        interrupt-controller;
36        compatible = "riscv,cpu-intc";
37        linux,phandle = <0x00000001>;
38        phandle = <0x00000001>;
39      };
40    };
41  };
42  memory@80000000 {
43    device_type = "memory";
44    reg = <0x00000000 0x80000000 0x00000000 0xfff00000>;
45  };
46  soc {
47    #address-cells = <0x00000002>;
48    #size-cells = <0x00000002>;
49    compatible = "simple-bus";
50    ranges;
51  };
52  htif {
53    compatible = "ucb,htif0";
54  };
55};
56