diff options
Diffstat (limited to 'nuttx/configs/README.txt')
| -rw-r--r-- | nuttx/configs/README.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/nuttx/configs/README.txt b/nuttx/configs/README.txt index fc1743ced..a69c51e7e 100644 --- a/nuttx/configs/README.txt +++ b/nuttx/configs/README.txt @@ -303,6 +303,9 @@ defconfig -- This is a configuration file similar to the Linux CONFIG_GREGORIAN_TIME in order to use Julian time. CONFIG_DEV_CONSOLE - Set if architecture-specific logic provides /dev/console. Enables stdout, stderr, stdin. + This implies the "normal" serial driver provides the + console unless another console device is specified + (See CONFIG_DEV_LOWCONSOLE). CONFIG_MUTEX_TYPES - Set to enable support for recursive and errorcheck mutexes. Enables pthread_mutexattr_settype(). CONFIG_PRIORITY_INHERITANCE - Set to enable support for |