debug/targets/RISC-V/spike64.py

   1 import targets
   2 import testlib
   3
   4 class spike64_hart(targets.Hart):
   5     xlen = 64
   6     ram = 0x1212340000
   7     ram_size = 0x10000000
   8     instruction_hardware_breakpoint_count = 4
   9     reset_vectors = [0x1000]
  10     link_script_path = "spike64.lds"
  11
  12 class spike64(targets.Target):
  13     harts = [spike64_hart()]
  14     openocd_config_path = "spike-1.cfg"
  15     timeout_sec = 30
  16     implements_custom_test = True
  17
  18     def create(self):
  19         # 32-bit FPRs only
  20         return testlib.Spike(self, isa="RV64IMAFC", progbufsize=0)