1:01:53fitzsimdougk_: from what I've heard in #talos-workstation, it's fine to assume that ppc64le is exclusively ABI version 2, but ppc64 big endian is ABI version 1 on some systems for backward compatibility, and ABI version 2 on some systems to match the now-more-common ppc64le
1:03:06fitzsimdougk_: so it would be nice to have SBCL support building for ppc64 (big endian), ABI version 1 or 2 (though I don't know if that'd make a lot of extra work)