Note that the project is unmaintained in README.md

README.md

@@ -4,6 +4,9 @@ Komodo is a research project that implements an SGX-like enclave protection
 model in formally-verified privileged software, for an ARMv7 TrustZone
 environment.
 
+Note: this project is not maintained. This repository serves as a complement to the research paper:
+
+*Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, and Bryan Parno. [Komodo: Using verification to disentangle secure-enclave hardware from software.](https://doi.org/10.1145/3132747.3132782) In Proceedings of the 26th Symposium on Operating Systems Principles (SOSP '17). 2017. ACM.*
 
 ## Components
 
@@ -115,4 +118,4 @@ to do this once across all repos using our CLA.
 
 This project has adopted the [Microsoft Open Source Code of Conduct](https://opensource.microsoft.com/codeofconduct/).
 For more information see the [Code of Conduct FAQ](https://opensource.microsoft.com/codeofconduct/faq/) or
-contact [opencode@microsoft.com](mailto:opencode@microsoft.com) with any additional questions or comments.
+contact [opencode@microsoft.com](mailto:opencode@microsoft.com) with any additional questions or comments.