search

microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
103 stars 28 forks source link

Avoid needless TLB flushes in entry path #4

Open 0xabu opened 7 years ago

0xabu commented 7 years ago

Store the current address space (in a global variable), and prove that TLB consistency is preserved throughout the user execution and entry path, so that we don't need the TLB flush for repeated executions of the same enclave.