It seems worth it to open a bug to track the current support of camlboot on different architectures. x86_64-linux supported (with substitutes) i686-linux supported (with substitutes) aarch64-linux unknown armhf-linux unknown powerpc64le-linux unknown I test built camlboot on my aarch64-linux board, it stopped compilation at ~55 hours with Signal 9 (OOM). 2GB RAM, 2GB swap. -- Efraim Flashner רנשלפ םירפא GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted