From de1865c8bd0d85cdfd9a980ad7131448acfaf136 Mon Sep 17 00:00:00 2001
From: Andrew Baumann <0xabu@users.noreply.github.com>
Date: Thu, 18 Aug 2022 09:48:36 +0200
Subject: [PATCH] Note that the project is unmaintained in README.md

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 71888d4..7cb47b2 100644
--- a/README.md
+++ b/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.
\ No newline at end of file
+contact [opencode@microsoft.com](mailto:opencode@microsoft.com) with any additional questions or comments.