(output_file, device_properties: ConfigParser, is_dev: bool)
| 99 | output_file.write(default_properties) |
| 100 | |
| 101 | def write_partition_table(output_file, device_properties: ConfigParser, is_dev: bool): |
| 102 | if is_dev: |
| 103 | flash_size_number = 4 |
| 104 | else: |
| 105 | flash_size = get_property_or_exit(device_properties, "hardware", "flashSize") |
| 106 | if not flash_size.endswith("MB"): |
| 107 | exit_with_error("Flash size should be written as xMB or xxMB (e.g. 4MB, 16MB)") |
| 108 | flash_size_number = flash_size[:-2] |
| 109 | output_file.write("# Partition Table\n") |
| 110 | output_file.write("CONFIG_PARTITION_TABLE_CUSTOM=y\n") |
| 111 | output_file.write(f"CONFIG_PARTITION_TABLE_CUSTOM_FILENAME=\"partitions-{flash_size_number}mb.csv\"\n") |
| 112 | output_file.write(f"CONFIG_PARTITION_TABLE_FILENAME=\"partitions-{flash_size_number}mb.csv\"\n") |
| 113 | |
| 114 | def write_tactility_variables(output_file, device_properties: ConfigParser, device_id: str): |
| 115 | # Board and vendor |
no test coverage detected