@xszymonzur's 6fd34f0 is correct: elegantly fixing the bug obc-firmware/#13 requires some behavioural changes to the FSMs of some OBC components which should be matched in Capella.
Plus, additional interesting changes stemming from that -- obc-firmware/#14 and obc-firmware/#15 -- introduce further behavioural, architectural and ultimately functional changes to the Mode Management components of all Subsystems, which should also be matched in Capella.
⬇️ Comments welcome with checkboxes listing these changes as they come to mind! ⬇️
@xszymonzur's
6fd34f0is correct: elegantly fixing the bug obc-firmware/#13 requires some behavioural changes to the FSMs of some OBC components which should be matched in Capella.Plus, additional interesting changes stemming from that -- obc-firmware/#14 and obc-firmware/#15 -- introduce further behavioural, architectural and ultimately functional changes to the Mode Management components of all Subsystems, which should also be matched in Capella.
⬇️ Comments welcome with checkboxes listing these changes as they come to mind! ⬇️