diff --git a/configs/micropendous3/README.txt b/configs/micropendous3/README.txt
index 1787f72885..32112aa587 100644
--- a/configs/micropendous3/README.txt
+++ b/configs/micropendous3/README.txt
@@ -196,6 +196,10 @@ Serial Console
 Toolchains
 ^^^^^^^^^^
 
+There are several toolchain options.  However, testing has been performed
+using *only* the NuttX buildroot toolchain described below.  Therefore,
+the NuttX buildroot toolchain is the recommended choice:
+
 Buildroot:
 
   There is a DIY buildroot version for the AVR boards here:
diff --git a/configs/teensy/README.txt b/configs/teensy/README.txt
index 24579e82ce..9a5fa3eed9 100644
--- a/configs/teensy/README.txt
+++ b/configs/teensy/README.txt
@@ -199,6 +199,10 @@ Teensy SPI Connection
 Toolchains
 ^^^^^^^^^^
 
+There are several toolchain options.  However, testing has been performed
+using *only* the NuttX buildroot toolchain described below.  Therefore,
+the NuttX buildroot toolchain is the recommended choice:
+
 Buildroot:
 
   There is a DIY buildroot version for the AVR boards here: