[seL4] Re: Docker for ARM?

Hi Dave,

There aren't any provided build environment images for arm sorry. You could try following the instructions for installing on a debian system directly, (but this has only been checked on amd64 hosts): https://docs.sel4.systems/projects/buildsystem/host-dependencies.html#debian

On Mon, 12 Jul 2021, 13:28 , dave@synergy.org wrote:

I recently moved and my x86-64 machines are in storage. Are there docker images for Debian ARM/32 or Raspbian I can use to build seL4 on my Raspberry Pi? It is my target platform.

    Thanks,
    Dave

---

Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems