Isn't this more analogous to the GNU toolchain being made available? Maybe then RISC V is the "UNIX standard" of which a "Linux" silicon equivalent will yet come to be? ... maybe PULP or otherwise ...?