Who’s using OCaml on Linux Arm64?

@lambda_foo What hardware is good for Linux Arm64?

@DanielW_Kiwi I’m using a mix of RPi4/5 for embedded stuff, Ampere servers, and cloud compute from vendors like Scaleway or Equinix.

@lambda_foo Oh very cool, I hadn't thought of the PI that's an obvious one. I've been hoping for a high powered ARM laptop. So far Apple and Microsoft have good options but none for Linux that seem any good.

@DanielW_Kiwi Asahi Linux is an option on Apple hardware.