diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-12-02 15:39:12 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-12-02 15:39:12 -0800 |
| commit | b285eacb98721ea416bd09cffd22a84bf9856c6d (patch) | |
| tree | 3186384e57e36d1241134a498b447e17f4bbe2ab | |
| parent | bfa0f69fc317703b24f6a5cc963910f94f9b31d9 (diff) | |
| download | riscv-gnu-toolchain-b285eacb98721ea416bd09cffd22a84bf9856c6d.zip riscv-gnu-toolchain-b285eacb98721ea416bd09cffd22a84bf9856c6d.tar.gz riscv-gnu-toolchain-b285eacb98721ea416bd09cffd22a84bf9856c6d.tar.bz2 | |
add script for running dejagnu on spike
| -rw-r--r-- | scripts/spike.exp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/spike.exp b/scripts/spike.exp new file mode 100644 index 0000000..03177d2 --- /dev/null +++ b/scripts/spike.exp @@ -0,0 +1,6 @@ +load_generic_config "sim" +set_board_info sim "spike pk" +set_board_info compiler "[find_gcc]" +set_board_info ldflags "-static" +set_board_info gdb,nosignals 1 +set_board_info is_simulator 1 |