AstroArch is a 64bit OS that works on Raspberry 3/4. It packages all INDI drivers and tries to stay always up to date with the latest INDI and Kstars releases. Based on ArchLinuxARM it's not your everyday raspbian but it's thought to be as user friendly as it can. It also uses KDE Plasma to make your Kstars experience as natural as possible.