https://blog.benjamin-cabe.com/2020/09/02/using-github-codespaces-for-embedded-development