15:34:27gendlkini: i'm interested in ARM as well, i just got a Raspberry Pi 4 spun up.. (the raspberrian OS is still 32-bit for now but there are 64-bit options for the RPi4).
19:21:32kinigendl: ah, I don't have an ARM device myself -- I was just trying to bump the NixOS package for ccl to 1.12 and noticed it was failing to download the code for the ARM build
19:22:10kiniit's pretty cool that ccl supports ARM though, it must have been quite some work to port it since (as I understand it) there's a fair amount of assembly code involved
20:02:33phoegendl: it's possible to use a 64-bit pure debian there. I got one installed that way, with a 64bit kernel