diff --git a/FreeRTOS/Test/README.md b/FreeRTOS/Test/README.md
new file mode 100644
index 000000000..e1feeef73
--- /dev/null
+++ b/FreeRTOS/Test/README.md
@@ -0,0 +1,5 @@
+ ## Testing in FreeRTOS
+ This directory is in working progress -- we are migrating scattered test cases to this directory. The directory structure section below only lists what's currently under this directory. 
+
+ ## Directory structure
+ - ```./CBMC```: This directory contains automated proofs of the memory safety of various parts of the FreeRTOS code base.
\ No newline at end of file