Snapshot of the three implementations (in Sail, Proteus and Morello, respectively) discussed in our EuroS&P 2023 paper "CHERI-TrEE: Flexible enclaves on capability machines" - View it on GitHub