That looks really interesting, but a quick read of the funding page didn't tell me what the software stack is: https://www.crowdsupply.com/sutajio-kosagi/precursor
A check of the wiki indicates they are using Xous (a Unikernel?), which I am not familiar with: https://github.com/betrusted-io/betrusted-wiki/wiki
So, it looks like there is limited software support right now. I'm interested, but I need to decide if I want to invest a lot of time making it actually useful…
Here is some detail about Xous that includes a list of available services and applications at the bottom: https://github.com/betrusted-io/xous-core/blob/main/services/README.md
FWIW: Xous is written in Rust (a plus for security) and seems to be specifically targeted to the Precursor device. However, it is a basic embedded OS and currently has no community outside of Precursor users. I think the community size and composition (programmers who understand embedded development) will make or break it.