Safe hardware is super difficult

The only project I know of that really actively addressing the end to end problem is Bunnie Huang's precursor.

Work seems to be going on low-key: https://github.com/betrusted-io/xous-core