aboutsummaryrefslogtreecommitdiff
path: root/debug/bin
diff options
context:
space:
mode:
authorTim Newsome <tim@sifive.com>2021-04-13 14:41:45 -0700
committerGitHub <noreply@github.com>2021-04-13 14:41:45 -0700
commit1b05661baa79f03830f5ddefa999dc7aaf7b1ce1 (patch)
treec3b934eea5e0522888edc7a4cf742d09afaa7512 /debug/bin
parent1ce128fa78c24bb0ed399c647e7139322b5353a7 (diff)
downloadriscv-tests-1b05661baa79f03830f5ddefa999dc7aaf7b1ce1.zip
riscv-tests-1b05661baa79f03830f5ddefa999dc7aaf7b1ce1.tar.gz
riscv-tests-1b05661baa79f03830f5ddefa999dc7aaf7b1ce1.tar.bz2
Add FreeRTOS smoke tests. (#333)
* Add FreeRTOS smoke tests. Make sure that OpenOCD can access all threads in a FreeRTOS binary on single-hart RV32 and RV64. * Also test `-rtos FreeRTOS`.
Diffstat (limited to 'debug/bin')
-rw-r--r--debug/bin/README.md7
-rw-r--r--debug/bin/RTOSDemo32.axfbin0 -> 131616 bytes
-rw-r--r--debug/bin/RTOSDemo64.axfbin0 -> 147328 bytes
3 files changed, 7 insertions, 0 deletions
diff --git a/debug/bin/README.md b/debug/bin/README.md
new file mode 100644
index 0000000..7e81515
--- /dev/null
+++ b/debug/bin/README.md
@@ -0,0 +1,7 @@
+This directory contains binaries that are not easy to compile.
+
+RTOSDemo32.axf and RTOSDemo64.axf are created by checking out
+https://github.com/FreeRTOS/FreeRTOS, following the instructions in
+`FreeRTOS/Demo/RISC-V-spike-htif_GCC/README.md`, and building:
+* `make XLEN=32 BASE_ADDRESS=0x10000000`
+* `make XLEN=64 BASE_ADDRESS=0x1212340000`
diff --git a/debug/bin/RTOSDemo32.axf b/debug/bin/RTOSDemo32.axf
new file mode 100644
index 0000000..5fa3fe7
--- /dev/null
+++ b/debug/bin/RTOSDemo32.axf
Binary files differ
diff --git a/debug/bin/RTOSDemo64.axf b/debug/bin/RTOSDemo64.axf
new file mode 100644
index 0000000..bfa2a2a
--- /dev/null
+++ b/debug/bin/RTOSDemo64.axf
Binary files differ