diff options
| -rw-r--r-- | lib/runner.py | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/runner.py b/lib/runner.py index ea3ee0d..fe383fc 100644 --- a/lib/runner.py +++ b/lib/runner.py @@ -407,7 +407,26 @@ class KRATOS: """ return ret + def sanity_check_config(self): + with open(".config", "r") as f: + config_lines = f.readlines() + for line in config_lines: + line = line.strip() + if ( + "CONFIG_eUSCI_A_UART_BAUDRATE" in line + and line != "CONFIG_eUSCI_A_UART_BAUDRATE=9600" + ): + raise RuntimeError( + f"Unsupported UART baud rate in .config, must be 9600: {line}" + ) + if ( + "CONFIG_Architecture_MSP430FR_CycleCounter" in line + and line != "CONFIG_Architecture_MSP430FR_CycleCounter=y" + ): + raise RuntimeError(f"Kratos Cycle Counter is disabled") + def build(self, app, opts=list()): + self.sanity_check_config() command = ["make", "clean"] command.extend(self.opts) command.extend(opts) |