I knew about that thing because Rich Jones was a fan. Man, that guy is always ahead of the curve.
Coincidentially, a couple of days ago Amazon announced support for RISC-V in FreeRTOS (I have no idea how free that thig is. It's MIT license, but with Amazon, it might be patented up the gills.).