Linux-arm64
| Machine | Model | OS | Threads | Location |
|---|---|---|---|---|
| ainia | Avantek Ampere(TM) Mt Snow | Ubuntu 22.04 | 80 | Caelum |
| kydoime | Avantek Ampere(TM) Mt Snow | Ubuntu 22.04 | 80 | Caelum |
| molpadia | Avantek Ampere(TM) Mt Snow | Ubuntu 22.04 | 80 | Caelum |
| ocaml-1 | Ubuntu 24.04 | 16 | OSUOSL | |
| ocaml-2 | Ubuntu 24.04 | 16 | OSUOSL | |
| okypous | Avantek Ampere(TM) Mt Snow | Ubuntu 22.04 | 80 | Caelum |