The other PR collects all firmware and C files into a single place so the the configuration and programming for the chip is more transparent. I also have a PR open on the
dockerized-verification-setup
repo which would be made somewhat redundant by this merge but maybe still worth considering