add script for running dejagnu on spike

12 years ago · b285eacb98
1 changed files with 6 additions and 0 deletions
--- a/scripts/spike.exp
+++ 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