...
+ // BaseOsUpgrade Retry Counter. This must be updated only when:
+ // 1) if the configured BaseOs partition is set to UPDATED, mirror+ // the current value of if status_baseOs_upgrade_retry_counter != config.baseOs_upgrade_retry_counter &&
+ // 2) At the start if a BaseOs upgrade (either from a partition in error state+ // or from UPDATED state of another version), copy over current d// configured_version_partition.State == ERROR:
+ // Trigger Upgrade
+ // deviceConfig status_baseOs_upgrade_retry_counter = config.baseOs_upgrade_retry_counter
+ // schedule_info_msg_to_be_sent()
+ uint32 baseOs_upgrade_retry_counter = 42;
...