Why ZephyrOS? ZephyrOS: https://github.com/zephyrproject-rtos/zephyr https://github.com/zephyrproject-rtos/zephyr Would there be value in modeling this syste

Why ZephyrOS? ZephyrOS: https://github.com/zephyrproject-rtos/zephyr https://github.com/zephyrproject-rtos/zephyr Would there be value in modeling this system with TLA+? Why build another open product? There are a few GitHub topics for solar electricity: solar: https://github.com/topics/solar https://github.com/topics/solar photovoltaic: https://github.com/topics/photovoltaic https://github.com/topics/photovoltaic pv: https://github.com/topics/pv https://github.com/topics/pv battery-management: https://github.com/topics/battery-management https://github.com/topics/battery-management ups-management: https://github.com/topics/ups-management https://github.com/topics/ups-management inverter: https://github.com/topics/inverter https://github.com/topics/inverter Photovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system https://en.wikipedia.org/wiki/Photovoltaic_system