About TockOS on HiFive1

Hi SiFive

I have flashed the TockOS kernel to HiFive1. However, the Tockloader seems not support HiFive1. Is there any ways to install an application on HiFive1 and run?

Bling

I find that the github version has supported HiFive1 although the release version hasn’t.