domain: set KernelTimerFreq config

Kswin01 · Kswin01 · commit 5c536acdc11b · 2026-03-26T11:24:47.000+11:00
Signed-off-by: Krishnan Winter &lt;krishnan.winter@unsw.edu.au&gt;
diff --git a/build_sdk.py b/build_sdk.py
@@ -493,6 +493,7 @@ def elaborate_all_board_configs(board: BoardInfo) -> list[ConfigInfo]:
         config = copy.deepcopy(config)
         config.name = f"domain-{config.name}"
         config.kernel_options |= {
+            "KernelTimerFrequency": True,
             "KernelNumDomains": 32,
             "KernelNumDomainSchedules": 64,
         }

Original file line number	Diff line number	Diff line change
`@@ -493,6 +493,7 @@ def elaborate_all_board_configs(board: BoardInfo) -> list[ConfigInfo]:`
`493`	`493`	`config = copy.deepcopy(config)`
`494`	`494`	`config.name = f"domain-{config.name}"`
`495`	`495`	`config.kernel_options \|= {`
	`496`	`+ "KernelTimerFrequency": True,`
`496`	`497`	`"KernelNumDomains": 32,`
`497`	`498`	`"KernelNumDomainSchedules": 64,`
`498`	`499`	`}`