Check out openIPE (EuroS&P '25), a platform for security research featuring a memory isolation primitive based on Texas Instruments microcontrollers, an extensible trusted software layer, and tooling for security validation.
mici.hu/papers/bognar25openipe.pdf
github.com/martonbognar/openipe