An Open Framework for Architecting TEEs