I don't think it is released. You might want to look at LowRisc tagged ISA stuff that has been released, Shakti and LowRisc will work together on some of that.

I don't think it is released. You might want to look at LowRisc tagged ISA stuff that has been released, Shakti and LowRisc will work together on some of that. You can boot that on FPGA. However the Rust based OK is not there yet so far as I know.