Manifest files for nds32; Use ``repo`` to sync