diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-25 15:31:22 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-11-25 15:31:22 +0000 |
| commit | 17b76c5545b56cebb050ce05681d50265a68e155 (patch) | |
| tree | 043c7837d72f473183e67fc04b9064a5bef91e2a | |
| parent | 56eda951c6518800a18b1beec5e14eac8705cdf9 (diff) | |
| download | focaccia-17b76c5545b56cebb050ce05681d50265a68e155.tar.gz focaccia-17b76c5545b56cebb050ce05681d50265a68e155.zip | |
Enable scheduling
| -rw-r--r-- | src/focaccia/qemu/_qemu_tool.py | 2 | ||||
| -rwxr-xr-x | src/focaccia/tools/validate_qemu.py | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/focaccia/qemu/_qemu_tool.py b/src/focaccia/qemu/_qemu_tool.py index 7f1d108..984de08 100644 --- a/src/focaccia/qemu/_qemu_tool.py +++ b/src/focaccia/qemu/_qemu_tool.py @@ -242,7 +242,7 @@ def main(): 'Focaccia built without deterministic log support') try: - gdb_server = GDBServerStateIterator(args.remote, detlog) + gdb_server = GDBServerStateIterator(args.remote, detlog, args.schedule) except Exception as e: raise Exception(f'Unable to perform basic GDB setup: {e}') diff --git a/src/focaccia/tools/validate_qemu.py b/src/focaccia/tools/validate_qemu.py index 1d713bd..cdb4263 100755 --- a/src/focaccia/tools/validate_qemu.py +++ b/src/focaccia/tools/validate_qemu.py @@ -90,6 +90,10 @@ memory, and stepping forward by single instructions. default='json', choices=['msgpack', 'json'], help='The format of the input symbolic trace') + prog.add_argument('--schedule', + default=False, + action='store_true', + help='Enables scheduling (experimental)') return prog def quoted(s: str) -> str: |