Make edi Available for Raspbian (Raspberry Pi OS)

lueschem / edi

Embedded development infrastructure.

https://www.get-edi.io

GNU Lesser General Public License v3.0

38 stars 12 forks source link

Make edi Available for Raspbian (Raspberry Pi OS) #63

Closed lueschem closed 3 years ago

lueschem commented 3 years ago

On Packagecloud Raspberry Pi OS is using its own repository. Therefore it is not sufficient to upload to Debian but also an upload for Raspbian is required. The build on Travis needs to be adjusted accordingly.

lueschem commented 3 years ago

The package for Raspberry Pi OS is now available. Please note that arm64 image builds on armhf will not work as there is currently no binfmt registration for qemu-aarch64 on Raspberry Pi OS. However, such builds should work if you install Debian arm64 on the Raspberry Pi and then use it for arm64 image builds.