From c65c2a10b515ad4c655e5c9fde4d14da1f66252c Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Tue, 10 Mar 2015 09:42:35 -0600 Subject: [PATCH] mq_timedsend(): Do check for time errors if the message queue is not full. Noted by Freddie Chopin --- configs/samv71-xult/README.txt | 16 ++++++++++++++-- configs/samv71-xult/nsh/defconfig | 29 +++++++++++++++-------------- 2 files changed, 29 insertions(+), 16 deletions(-) diff --git a/configs/samv71-xult/README.txt b/configs/samv71-xult/README.txt index c73822d50c..b073a5fd9f 100644 --- a/configs/samv71-xult/README.txt +++ b/configs/samv71-xult/README.txt @@ -233,7 +233,11 @@ Configurations Configures the NuttShell (nsh) located at examples/nsh. NOTES: - 1. Default stack sizes are large and should really be tuned to reduce + 1. The serial console is configured by default for use with and Arduino + serial shield (UART3). You will need to reconfigure if you will + to use a different U[S]ART. + + 2. Default stack sizes are large and should really be tuned to reduce the RAM footprint: CONFIG_ARCH_INTERRUPTSTACK=2048 @@ -242,10 +246,18 @@ Configurations CONFIG_PTHREAD_STACK_DEFAULT=2048 ... and others ... - 2. NSH built-in applications are supported. + 3. NSH built-in applications are supported. Binary Formats: CONFIG_BUILTIN=y : Enable support for built-in programs Application Configuration: CONFIG_NSH_BUILTIN_APPS=y : Enable starting apps from NSH command line + + 4. Performance-related Configuration settings: + + # CONFIG_ARMV7M_ICACHE is not set : Can be enabled, not verified + # CONFIG_ARMV7M_DCACHE is not set : Can be enabled, not verified + # CONFIG_ARCH_FPU is not set : Can be enabled, not verified + # CONFIG_ARMV7M_ITCM is not set : Support not yet in place + # CONFIG_ARMV7M_DTCM is not set : Support not yet in place diff --git a/configs/samv71-xult/nsh/defconfig b/configs/samv71-xult/nsh/defconfig index d3407be2b6..a2222654be 100644 --- a/configs/samv71-xult/nsh/defconfig +++ b/configs/samv71-xult/nsh/defconfig @@ -212,10 +212,10 @@ CONFIG_SAMV7_HAVE_USART2=y # CONFIG_SAMV7_TWIM0 is not set # CONFIG_SAMV7_TWIM1 is not set # CONFIG_SAMV7_TWIM2 is not set -CONFIG_SAMV7_UART0=y +# CONFIG_SAMV7_UART0 is not set # CONFIG_SAMV7_UART1 is not set # CONFIG_SAMV7_UART2 is not set -# CONFIG_SAMV7_UART3 is not set +CONFIG_SAMV7_UART3=y # CONFIG_SAMV7_UART4 is not set # CONFIG_SAMV7_USBDEVHS is not set # CONFIG_SAMV7_USBHOSTHS is not set @@ -480,10 +480,10 @@ CONFIG_SERIAL=y # CONFIG_DEV_LOWCONSOLE is not set # CONFIG_16550_UART is not set # CONFIG_ARCH_HAVE_UART is not set -CONFIG_ARCH_HAVE_UART0=y +# CONFIG_ARCH_HAVE_UART0 is not set # CONFIG_ARCH_HAVE_UART1 is not set # CONFIG_ARCH_HAVE_UART2 is not set -# CONFIG_ARCH_HAVE_UART3 is not set +CONFIG_ARCH_HAVE_UART3=y # CONFIG_ARCH_HAVE_UART4 is not set # CONFIG_ARCH_HAVE_UART5 is not set # CONFIG_ARCH_HAVE_UART6 is not set @@ -511,21 +511,22 @@ CONFIG_STANDARD_SERIAL=y # CONFIG_SERIAL_OFLOWCONTROL is not set CONFIG_ARCH_HAVE_SERIAL_TERMIOS=y # CONFIG_SERIAL_TERMIOS is not set -CONFIG_UART0_SERIAL_CONSOLE=y +# CONFIG_UART0_SERIAL_CONSOLE is not set +CONFIG_UART3_SERIAL_CONSOLE=y # CONFIG_OTHER_SERIAL_CONSOLE is not set # CONFIG_NO_SERIAL_CONSOLE is not set # -# UART0 Configuration +# UART3 Configuration # -CONFIG_UART0_RXBUFSIZE=256 -CONFIG_UART0_TXBUFSIZE=256 -CONFIG_UART0_BAUD=115200 -CONFIG_UART0_BITS=8 -CONFIG_UART0_PARITY=0 -CONFIG_UART0_2STOP=0 -# CONFIG_UART0_IFLOWCONTROL is not set -# CONFIG_UART0_OFLOWCONTROL is not set +CONFIG_UART3_RXBUFSIZE=256 +CONFIG_UART3_TXBUFSIZE=256 +CONFIG_UART3_BAUD=115200 +CONFIG_UART3_BITS=8 +CONFIG_UART3_PARITY=0 +CONFIG_UART3_2STOP=0 +# CONFIG_UART3_IFLOWCONTROL is not set +# CONFIG_UART3_OFLOWCONTROL is not set # CONFIG_USBDEV is not set # CONFIG_USBHOST is not set # CONFIG_WIRELESS is not set