> But ArchLinuxARM[1] supports this machine quite well, arch arm is a separate project, so this mailing list doesn't really have anything to do with it. but the arch-ports[1] mailing list might be the correct place to ask this [1]https://lists.archlinux.org/listinfo/arch-ports