From fd3bd32330e2cfdab179940fbb159a539e2176f3 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 3 Jul 2014 17:08:59 -0600
Subject: [PATCH] NSH Keyboard: Close stdin before trying to reopen. 
 Otherwise, driver will persist

---
 configs/sama5d4-ek/README.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configs/sama5d4-ek/README.txt b/configs/sama5d4-ek/README.txt
index 1ff6b5a33b..463e38e4e1 100644
--- a/configs/sama5d4-ek/README.txt
+++ b/configs/sama5d4-ek/README.txt
@@ -3475,6 +3475,10 @@ Configurations
          CONFIG_NSH_USBKBD=y
          CONFIG_NSH_USBKBD_DEVNAME="/dev/kbda"
 
+       [Using the RAMLOG with the USB keyboard is, however, probably a bad
+       idea because you cannot type the 'dmesg' command to view the RAMLOG
+       without a keyboard attached.]
+
    14. Support the USB high-speed USB device driver (UDPHS) is not enabled by
        default but could be enabled by changing the NuttX configuration file as
        described above in the section entitled "USB High-Speed Device."