[PATCH 2/3] RISC-V: Remove the RISCV_ENABLE_HTIF_SUPPORT option

[heshamelmatary at gmail.com]

From: Hesham Almatary <hesham.almatary at cl.cam.ac.uk>

Closes #4779
---
 user/bsps/bsps-riscv.rst | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/user/bsps/bsps-riscv.rst b/user/bsps/bsps-riscv.rst
index 5269462..28682f6 100644
--- a/user/bsps/bsps-riscv.rst
+++ b/user/bsps/bsps-riscv.rst
@@ -83,10 +83,6 @@ 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``
-     Enables the HTIF support if defined to a non-zero value, otherwise it is
-     disabled (disabled by default).
-
 ``RISCV_CONSOLE_MAX_NS16550_DEVICES``
      The maximum number of NS16550 devices supported by the console driver (2
      by default).
@@ -126,7 +122,7 @@ Console Driver
 
 The console driver supports devices compatible to
 
-* "ucb,htif0" (depending on the ``RISCV_ENABLE_HTIF_SUPPORT`` BSP option),
+* "ucb,htif0" (always probed for and enabled if it exists),
 
 * "ns16550a" (see ``RISCV_CONSOLE_MAX_NS16550_DEVICES`` BSP option), and
 
-- 
2.25.1