FreeRTOS
diff --git a/‎test/cbmc/include/README.md
-1 b/‎test/cbmc/include/README.md
-1
diff --git a/‎test/cbmc/include/README.md
+6 b/‎test/cbmc/include/README.md
+6
diff --git a/‎test/cbmc/proofs/Makefile.common
-1 b/‎test/cbmc/proofs/Makefile.common
-1
@@ -0,0 +1,6 @@
+CBMC proof include files
+========================
+
+This directory contains include files written for CBMC proof.  It is
+common to write some code to model aspects of the system under test,
+and the header files for this code go here.