Yes I was also quite surprised not to see SHAKTI mentioned here since it seems to be a far more advanced project. [Edit: After reading a bit more I see the aim of this project is to build local FAB experience, whereas SHAKTI seems to be about developing an Indian-designed server chip which is manufactured abroad. Both are independent and worthwhile goals.]

Some of their team contacted me about porting Fedora/RISC-V to SHAKTI. (Unfortunately because SHAKTI doesn't support the Compressed extension, which both Fedora and Debian require, straight Fedora/RISC-V binaries won't run on SHAKTI and so the whole distro will need to be rebuilt).