diff --git a/user/bsps/bsps-riscv.rst b/user/bsps/bsps-riscv.rst
index 6604d1f..41f369f 100644
--- a/user/bsps/bsps-riscv.rst
+++ b/user/bsps/bsps-riscv.rst
@@ -83,6 +83,9 @@ configuration INI file. The ``waf`` defaults can be used to inspect the values.
      The maximum number of external interrupts supported by the BSP (default
      64).
 
+``RISCV_ENABLE_HTIF_SUPPORT``
+     Enable the Host/Target Interface (HTIF) support (enabled by default).
+
 ``RISCV_CONSOLE_MAX_NS16550_DEVICES``
      The maximum number of NS16550 devices supported by the console driver (2
      by default).
@@ -122,7 +125,7 @@ Console Driver
 
 The console driver supports devices compatible to
 
-* "ucb,htif0" (always probed for and enabled if it exists),
+* "ucb,htif0" (depending on the ``RISCV_ENABLE_HTIF_SUPPORT`` BSP option),
 
 * "ns16550a" (see ``RISCV_CONSOLE_MAX_NS16550_DEVICES`` BSP option), and