diff options
Diffstat (limited to 'debug/targets.py')
| -rw-r--r-- | debug/targets.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/debug/targets.py b/debug/targets.py index f8f7b6f..0890465 100644 --- a/debug/targets.py +++ b/debug/targets.py @@ -108,6 +108,10 @@ class Target: # limitation/hardware support. support_memory_sampling = True + # Relative path to a FreeRTOS binary compiled from the spike demo project + # in https://github.com/FreeRTOS/FreeRTOS. + freertos_binary = None + # Internal variables: directory = None temporary_files = [] @@ -143,11 +147,12 @@ class Target: def create(self): """Create the target out of thin air, eg. start a simulator.""" - def server(self): + def server(self, test): """Start the debug server that gdb connects to, eg. OpenOCD.""" return testlib.Openocd(server_cmd=self.server_cmd, config=self.openocd_config_path, - timeout=self.server_timeout_sec) + timeout=self.server_timeout_sec, + freertos=test.freertos()) def do_compile(self, hart, *sources): binary_name = "%s_%s-%d" % ( |