Garuda Linux is designed for high performance on high-end computers so ARM devices like Pi may never get official support.