About applications on TockOS

I find that the newest version Tockloader has supported HiFive1. However, the applications in libtock-c are still made by Cortex. Is there any examples to build applicaitons on TockOS since HiFive1 supports TockOS and Tockloader supports HiFive1?
Thank you!.

Unless something has changed, TockOS supports the HiFive1 not the HiFive1 RevB, so be careful with that. I am planning to help port Tock over to the RevB that way PMP can be implemented. No memory protection is available on the HiFive1 with Tock since it does not have PMP registers.

There is a lot of good info at https://github.com/tock/tock/tree/master/doc if you haven’t been there yet. If I’m not mistaken you can write your applications as if you are not using Tock. Write your code, build the binary, then upload it with tockloader. It should just work. You can use any appropriate language to write your app.

This question may be better asked on the tock mailing list, the link is here https://www.tockos.org/community