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