- Someone doing the same thing as me: https://gist.github.com/liquidx/fd1002ec870a7c13f04a0b8a44744246
- https://www.technexion.com/products/system-on-modules/evk/pico-pi-imx7/
- https://www.nxp.com/docs/en/user-guide/PICO-IMX7UL-USG.pdf
- Ubuntu instructions: https://forum.digikey.com/t/debian-getting-started-with-the-pico-pi-imx7/12429/3
- Zephyr instructions: https://docs.zephyrproject.org/2.7.0/boards/arm/pico_pi_m4/doc/index.html
- expansion header 40 pin row is 1:1 with Raspberry Pi standard (hats are ~interoperable)