tools: enable SYSCALL_WCET when building silicon_wcet

uLipe · uLipe · commit 60be15896ac4 · 2026-07-13T23:12:58.000-03:00
- Flash silicon WCET certs with cycle instrumentation without a global default
diff --git a/tools/dev.py b/tools/dev.py
@@ -573,6 +573,8 @@ def _run_build(args: argparse.Namespace) -> None:
         getattr(args, "no_components", False),
     )
     component_flags = _component_cmake_flags(enabled, board_host)
+    if "silicon_wcet" in enabled:
+        component_flags.append("-DULMK_CONFIG_SYSCALL_WCET=1")
 
     elf = BUILD_DIR / build_subdir / "ulmk"
     if run_qemu and not args.clean and elf.is_file():

Original file line number	Diff line number	Diff line change
`@@ -573,6 +573,8 @@ def _run_build(args: argparse.Namespace) -> None:`
`573`	`573`	`getattr(args, "no_components", False),`
`574`	`574`	`)`
`575`	`575`	`component_flags = _component_cmake_flags(enabled, board_host)`
	`576`	`+ if "silicon_wcet" in enabled:`
	`577`	`+ component_flags.append("-DULMK_CONFIG_SYSCALL_WCET=1")`
`576`	`578`
`577`	`579`	`elf = BUILD_DIR / build_subdir / "ulmk"`
`578`	`580`	`if run_qemu and not args.clean and elf.is_file():`