(output_file, device_properties: ConfigParser)
| 374 | output_file.write("CONFIG_USB_HOST_SET_ADDR_RECOVERY_MS=500\n") |
| 375 | |
| 376 | def write_custom_sdkconfig(output_file, device_properties: ConfigParser): |
| 377 | if "sdkconfig" in device_properties.sections(): |
| 378 | output_file.write("# Custom\n") |
| 379 | section = device_properties["sdkconfig"] |
| 380 | for key in section.keys(): |
| 381 | value = section[key].replace("\"", "\\\"") |
| 382 | output_file.write(f"{key}={value}\n") |
| 383 | |
| 384 | def write_properties(output_file, device_properties: ConfigParser, device_id: str, is_dev: bool): |
| 385 | write_defaults(output_file) |
no test coverage detected