I’d like to play around with 64-bit Raspberry Pi OS, or other distros such as Manjaro which are only available as 64-bit. Are 64-bit repositories of Pi-Top drivers or source code available? Thanks.
Not at this time. Our drivers currently only work on Raspberry Pi OS and derivatives, and we are implementing the necessary changes in upgrading our cloud infrastructure that will make building for
arm64 a lot simpler than it would be currently.
We don’t have a roadmap for this, and it is not clear when it will be ready. But rest assured, we will be sure to post when they are available! Thanks.