# TODO

## hydractl

* [ ] Provision:
    * [ ] Fix booting issues detailed [here](tpc.md#booting).
* [ ] Upgrade:
    * [ ] Raspbian does not have the `non-free-firmware` component?
          Maybe this is not an issue, as we may move away from
          Raspbian/Raspberry Pi OS.