diff options
author | Robert Norton <rmn30@cam.ac.uk> | 2019-06-27 12:59:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-27 12:59:07 +0100 |
commit | 18ffee5cc31fe0e633c874d7ed603e4df1ee4ed2 (patch) | |
tree | 213d52a7271c94020f9a1115eb77a95ac7a5cdeb | |
parent | 5dc38f37b871af7d6d1af9dfbbb203fb92d99d6a (diff) | |
parent | 5627342d9def017e484054263412ff1980845b45 (diff) | |
download | sail-riscv-18ffee5cc31fe0e633c874d7ed603e4df1ee4ed2.zip sail-riscv-18ffee5cc31fe0e633c874d7ed603e4df1ee4ed2.tar.gz sail-riscv-18ffee5cc31fe0e633c874d7ed603e4df1ee4ed2.tar.bz2 |
Merge pull request #12 from heshamelmatary/hafnium
Add a bootable Hafnium image
-rw-r--r-- | os-boot/rv64-2gb-hafnium.dts | 53 | ||||
-rwxr-xr-x | os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl | bin | 0 -> 97701736 bytes |
2 files changed, 53 insertions, 0 deletions
diff --git a/os-boot/rv64-2gb-hafnium.dts b/os-boot/rv64-2gb-hafnium.dts new file mode 100644 index 0000000..d67bfb2 --- /dev/null +++ b/os-boot/rv64-2gb-hafnium.dts @@ -0,0 +1,53 @@ +/dts-v1/; + +/ { + #address-cells = <2>; + #size-cells = <2>; + compatible = "ucbbar,spike-bare-dev"; + model = "ucbbar,spike-bare"; + cpus { + #address-cells = <1>; + #size-cells = <0>; + timebase-frequency = <10000000>; + CPU0: cpu@0 { + device_type = "cpu"; + reg = <0>; + status = "okay"; + compatible = "riscv"; + riscv,isa = "rv64imac"; + mmu-type = "riscv,sv39"; + clock-frequency = <1000000000>; + CPU0_intc: interrupt-controller { + #interrupt-cells = <1>; + interrupt-controller; + compatible = "riscv,cpu-intc"; + }; + }; + }; + memory@80000000 { + device_type = "memory"; + reg = <0x0 0x80000000 0x0 0x80000000>; + }; + soc { + #address-cells = <2>; + #size-cells = <2>; + compatible = "ucbbar,spike-bare-soc", "simple-bus"; + ranges; + clint@2000000 { + compatible = "riscv,clint0"; + interrupts-extended = <&CPU0_intc 3 &CPU0_intc 7 >; + reg = <0x0 0x2000000 0x0 0xc0000>; + }; + }; + htif { + compatible = "ucb,htif0"; + }; + chosen { + #address-cells = <2>; + #size-cells = <2>; + linux,initrd-end = <0 0>; + linux,initrd-start = <0 0>; + bootargs = "rdinit=/sbin/init"; + stdout-path = ""; + }; +}; diff --git a/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl b/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl Binary files differnew file mode 100755 index 0000000..6cab154 --- /dev/null +++ b/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl |