Hi,
Right now, you can build a Keystone TEE for any RISC-V system that is: RV64, and boots Linux.
We're (soon!) landing support for RV32 Linux.
Long term, our goal is to support ANY RISC-V system, including microcontroller profiles that don't boot Linux.
For building a complete system, the hardware additionally needs: a secure/measured boot solution, secure key storage, a hardware randomness source.
You can test on a system that doesn't have these by using our software emulation/stubs that are currently in use.
Let us know if you run into issues with any RV64 Linux-capable cores!
-David