The domain name

risc-v.org.cn

is for sale!