diff --git a/doc/README.nand b/doc/README.nand
index e29188f1ec0cd4dd97a38ddb4bb7ed85645f83fe..320d752952971a936e36b2cc654f630fa628aa07 100644
--- a/doc/README.nand
+++ b/doc/README.nand
@@ -215,6 +215,12 @@ Configuration Options:
 
 Platform specific options
 =========================
+   CONFIG_NAND_DENALI
+	Enables the denali.c driver.
+
+   CONFIG_SYS_NAND_DENALI_64BIT
+	Indicates that the Denali NAND controller is the 64-bit variant.
+
    CONFIG_NAND_OMAP_GPMC
 	Enables omap_gpmc.c driver for OMAPx and AMxxxx platforms.
 	GPMC controller is used for parallel NAND flash devices, and can