various tools for working with rpi firmware
https://github.com/itszor/vc4-toolchain has the full toolchain
the Nix package manager also has full support to cross-compile to VC4 and can work on any linux distro
various tools for working with rpi firmware
https://github.com/itszor/vc4-toolchain has the full toolchain
the Nix package manager also has full support to cross-compile to VC4 and can work on any linux distro