diff --git a/apps/netutils/dnsclient/dns_socket.c b/apps/netutils/dnsclient/dns_socket.c
index fb5dbf56ad3a45c5463dd90f8cac8d98c7a38e3d..91229041c28327755c7a1dd7ae6d6ff04b492e58 100644
--- a/apps/netutils/dnsclient/dns_socket.c
+++ b/apps/netutils/dnsclient/dns_socket.c
@@ -279,7 +279,7 @@ static uint16_t transform_16bit(uint16_t ctr)
 
   if (!g.init)
     {
-      speckrandom_buf(&g.rand, sizeof(g.rand));
+      //speckrandom_buf(&g.rand, sizeof(g.rand));
       g.init = true;
     }
 
diff --git a/nuttx/.config b/nuttx/.config
new file mode 100644
index 0000000000000000000000000000000000000000..913480b13c7dd2bd1f85298a7ab86863384036be
--- /dev/null
+++ b/nuttx/.config
@@ -0,0 +1,1570 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Nuttx/ Configuration
+#
+
+#
+# Build Setup
+#
+CONFIG_DEFAULT_SMALL=y
+# CONFIG_EXPERIMENTAL is not set
+CONFIG_HOST_LINUX=y
+# CONFIG_HOST_OSX is not set
+# CONFIG_HOST_OTHER is not set
+# CONFIG_HOST_WINDOWS is not set
+
+#
+# Build Configuration
+#
+CONFIG_APPS_DIR="../apps"
+CONFIG_BUILD_2PASS=y
+# CONFIG_BUILD_FLAT is not set
+# CONFIG_BUILD_GTEST is not set
+CONFIG_BUILD_PROTECTED=y
+CONFIG_NUTTX_USERSPACE=0x08020000
+CONFIG_PASS1_BUILDIR="configs/haltian-tsone/kernel"
+CONFIG_PASS1_OBJECT=""
+CONFIG_PASS1_TARGET="all"
+
+#
+# Binary Output Formats
+#
+CONFIG_DFU_IMAGE=y
+CONFIG_INTELHEX_BINARY=y
+# CONFIG_MOTOROLA_SREC is not set
+CONFIG_NUTTX_DFU_IMAGE_FLASHING_ADDRESS=0x08008000
+CONFIG_OCIMAGE=y
+CONFIG_RAW_BINARY=y
+# CONFIG_RRLOAD_BINARY is not set
+# CONFIG_UBOOT_UIMAGE is not set
+
+#
+# Customize Header Files
+#
+# CONFIG_ARCH_FLOAT_H is not set
+# CONFIG_ARCH_MATH_H is not set
+# CONFIG_ARCH_STDARG_H is not set
+# CONFIG_ARCH_STDBOOL_H is not set
+# CONFIG_ARCH_STDINT_H is not set
+
+#
+# Debug Options
+#
+CONFIG_ARCH_HAVE_HEAPCHECK=y
+CONFIG_DEBUG=y
+CONFIG_DEBUG_VERBOSE=y
+
+#
+# Subsystem Debug Options
+#
+# CONFIG_DEBUG_AUDIO is not set
+# CONFIG_DEBUG_BINFMT is not set
+# CONFIG_DEBUG_FS is not set
+# CONFIG_DEBUG_GRAPHICS is not set
+# CONFIG_DEBUG_LIB is not set
+# CONFIG_DEBUG_MM is not set
+# CONFIG_DEBUG_NET is not set
+# CONFIG_DEBUG_SCHED is not set
+# CONFIG_DEBUG_SYSCALL is not set
+
+#
+# OS Function Debug Options
+#
+# CONFIG_DEBUG_DMA is not set
+# CONFIG_DEBUG_HEAP is not set
+# CONFIG_DEBUG_IRQ is not set
+
+#
+# Driver Debug Options
+#
+CONFIG_ARCH_HAVE_CUSTOMOPT=y
+CONFIG_ARCH_HAVE_STACKCHECK=y
+# CONFIG_DEBUG_ANALOG is not set
+# CONFIG_DEBUG_CUSTOMOPT is not set
+CONFIG_DEBUG_FULLOPT=y
+# CONFIG_DEBUG_GPIO is not set
+# CONFIG_DEBUG_I2C is not set
+# CONFIG_DEBUG_INPUT is not set
+# CONFIG_DEBUG_LCD is not set
+# CONFIG_DEBUG_LEDS is not set
+# CONFIG_DEBUG_NOOPT is not set
+# CONFIG_DEBUG_PWM is not set
+# CONFIG_DEBUG_RTC is not set
+# CONFIG_DEBUG_SENSORS is not set
+# CONFIG_DEBUG_SPI is not set
+CONFIG_DEBUG_SYMBOLS=y
+# CONFIG_DEBUG_USB is not set
+# CONFIG_DEBUG_WATCHDOG is not set
+# CONFIG_STACK_COLORATION is not set
+
+#
+# System Type
+#
+CONFIG_ARCH="arm"
+CONFIG_ARCH_ARM=y
+# CONFIG_ARCH_AVR is not set
+# CONFIG_ARCH_HC is not set
+# CONFIG_ARCH_MIPS is not set
+# CONFIG_ARCH_RGMP is not set
+# CONFIG_ARCH_SH is not set
+# CONFIG_ARCH_SIM is not set
+# CONFIG_ARCH_X86 is not set
+# CONFIG_ARCH_Z16 is not set
+# CONFIG_ARCH_Z80 is not set
+
+#
+# ARM Options
+#
+# CONFIG_ARCH_ARM7TDMI is not set
+# CONFIG_ARCH_ARM920T is not set
+# CONFIG_ARCH_ARM926EJS is not set
+CONFIG_ARCH_CHIP="stm32"
+# CONFIG_ARCH_CHIP_A1X is not set
+# CONFIG_ARCH_CHIP_C5471 is not set
+# CONFIG_ARCH_CHIP_CALYPSO is not set
+# CONFIG_ARCH_CHIP_DM320 is not set
+# CONFIG_ARCH_CHIP_EFM32 is not set
+# CONFIG_ARCH_CHIP_IMX is not set
+# CONFIG_ARCH_CHIP_KINETIS is not set
+# CONFIG_ARCH_CHIP_KL is not set
+# CONFIG_ARCH_CHIP_LM is not set
+# CONFIG_ARCH_CHIP_LPC17XX is not set
+# CONFIG_ARCH_CHIP_LPC214X is not set
+# CONFIG_ARCH_CHIP_LPC2378 is not set
+# CONFIG_ARCH_CHIP_LPC31XX is not set
+# CONFIG_ARCH_CHIP_LPC43XX is not set
+# CONFIG_ARCH_CHIP_NUC1XX is not set
+# CONFIG_ARCH_CHIP_SAM34 is not set
+# CONFIG_ARCH_CHIP_SAMA5 is not set
+# CONFIG_ARCH_CHIP_SAMD is not set
+# CONFIG_ARCH_CHIP_SAMV7 is not set
+CONFIG_ARCH_CHIP_STM32=y
+# CONFIG_ARCH_CHIP_STR71X is not set
+# CONFIG_ARCH_CHIP_TIVA is not set
+# CONFIG_ARCH_CORTEXA5 is not set
+# CONFIG_ARCH_CORTEXA8 is not set
+# CONFIG_ARCH_CORTEXM0 is not set
+CONFIG_ARCH_CORTEXM3=y
+# CONFIG_ARCH_CORTEXM4 is not set
+# CONFIG_ARCH_CORTEXM7 is not set
+CONFIG_ARCH_FAMILY="armv7-m"
+CONFIG_ARCH_HAVE_CMNVECTOR=y
+# CONFIG_ARCH_HAVE_DPFPU is not set
+# CONFIG_ARCH_HAVE_FPU is not set
+# CONFIG_ARMV7M_CMNVECTOR is not set
+# CONFIG_ARMV7M_LAZYFPU is not set
+CONFIG_ARMV7M_MPU=y
+CONFIG_ARMV7M_MPU_NREGIONS=8
+CONFIG_ARMV7M_USEBASEPRI=y
+# CONFIG_DEBUG_DCC is not set
+CONFIG_DEBUG_HARDFAULT=y
+CONFIG_LINK_WHOLE_ARCHIVE=y
+
+#
+# ARMV7M Configuration Options
+#
+# CONFIG_ARMV7M_HAVE_DCACHE is not set
+# CONFIG_ARMV7M_HAVE_DTCM is not set
+# CONFIG_ARMV7M_HAVE_ICACHE is not set
+# CONFIG_ARMV7M_HAVE_ITCM is not set
+CONFIG_ARMV7M_HAVE_STACKCHECK=y
+# CONFIG_ARMV7M_ITMSYSLOG is not set
+# CONFIG_ARMV7M_STACKCHECK is not set
+# CONFIG_ARMV7M_TOOLCHAIN_BUILDROOT is not set
+# CONFIG_ARMV7M_TOOLCHAIN_CODEREDL is not set
+# CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYL is not set
+CONFIG_ARMV7M_TOOLCHAIN_GNU_EABIL=y
+# CONFIG_NET_MULTICAST is not set
+
+#
+# STM32 Configuration Options
+#
+# CONFIG_ARCH_CHIP_STM32F100C8 is not set
+# CONFIG_ARCH_CHIP_STM32F100CB is not set
+# CONFIG_ARCH_CHIP_STM32F100R8 is not set
+# CONFIG_ARCH_CHIP_STM32F100RB is not set
+# CONFIG_ARCH_CHIP_STM32F100RC is not set
+# CONFIG_ARCH_CHIP_STM32F100RD is not set
+# CONFIG_ARCH_CHIP_STM32F100RE is not set
+# CONFIG_ARCH_CHIP_STM32F100V8 is not set
+# CONFIG_ARCH_CHIP_STM32F100VB is not set
+# CONFIG_ARCH_CHIP_STM32F100VC is not set
+# CONFIG_ARCH_CHIP_STM32F100VD is not set
+# CONFIG_ARCH_CHIP_STM32F100VE is not set
+# CONFIG_ARCH_CHIP_STM32F102CB is not set
+# CONFIG_ARCH_CHIP_STM32F103C4 is not set
+# CONFIG_ARCH_CHIP_STM32F103C8 is not set
+# CONFIG_ARCH_CHIP_STM32F103CB is not set
+# CONFIG_ARCH_CHIP_STM32F103R8 is not set
+# CONFIG_ARCH_CHIP_STM32F103RB is not set
+# CONFIG_ARCH_CHIP_STM32F103RC is not set
+# CONFIG_ARCH_CHIP_STM32F103RD is not set
+# CONFIG_ARCH_CHIP_STM32F103RE is not set
+# CONFIG_ARCH_CHIP_STM32F103RG is not set
+# CONFIG_ARCH_CHIP_STM32F103T8 is not set
+# CONFIG_ARCH_CHIP_STM32F103TB is not set
+# CONFIG_ARCH_CHIP_STM32F103V8 is not set
+# CONFIG_ARCH_CHIP_STM32F103VB is not set
+# CONFIG_ARCH_CHIP_STM32F103VC is not set
+# CONFIG_ARCH_CHIP_STM32F103VE is not set
+# CONFIG_ARCH_CHIP_STM32F103ZE is not set
+# CONFIG_ARCH_CHIP_STM32F105VB is not set
+# CONFIG_ARCH_CHIP_STM32F107VC is not set
+# CONFIG_ARCH_CHIP_STM32F207IG is not set
+# CONFIG_ARCH_CHIP_STM32F207ZE is not set
+# CONFIG_ARCH_CHIP_STM32F302CB is not set
+# CONFIG_ARCH_CHIP_STM32F302CC is not set
+# CONFIG_ARCH_CHIP_STM32F302RB is not set
+# CONFIG_ARCH_CHIP_STM32F302RC is not set
+# CONFIG_ARCH_CHIP_STM32F302VB is not set
+# CONFIG_ARCH_CHIP_STM32F302VC is not set
+# CONFIG_ARCH_CHIP_STM32F303CB is not set
+# CONFIG_ARCH_CHIP_STM32F303CC is not set
+# CONFIG_ARCH_CHIP_STM32F303RB is not set
+# CONFIG_ARCH_CHIP_STM32F303RC is not set
+# CONFIG_ARCH_CHIP_STM32F303VB is not set
+# CONFIG_ARCH_CHIP_STM32F303VC is not set
+# CONFIG_ARCH_CHIP_STM32F372C8 is not set
+# CONFIG_ARCH_CHIP_STM32F372CB is not set
+# CONFIG_ARCH_CHIP_STM32F372CC is not set
+# CONFIG_ARCH_CHIP_STM32F372R8 is not set
+# CONFIG_ARCH_CHIP_STM32F372RB is not set
+# CONFIG_ARCH_CHIP_STM32F372RC is not set
+# CONFIG_ARCH_CHIP_STM32F372V8 is not set
+# CONFIG_ARCH_CHIP_STM32F372VB is not set
+# CONFIG_ARCH_CHIP_STM32F372VC is not set
+# CONFIG_ARCH_CHIP_STM32F373C8 is not set
+# CONFIG_ARCH_CHIP_STM32F373CB is not set
+# CONFIG_ARCH_CHIP_STM32F373CC is not set
+# CONFIG_ARCH_CHIP_STM32F373R8 is not set
+# CONFIG_ARCH_CHIP_STM32F373RB is not set
+# CONFIG_ARCH_CHIP_STM32F373RC is not set
+# CONFIG_ARCH_CHIP_STM32F373V8 is not set
+# CONFIG_ARCH_CHIP_STM32F373VB is not set
+# CONFIG_ARCH_CHIP_STM32F373VC is not set
+# CONFIG_ARCH_CHIP_STM32F401RE is not set
+# CONFIG_ARCH_CHIP_STM32F405RG is not set
+# CONFIG_ARCH_CHIP_STM32F405VG is not set
+# CONFIG_ARCH_CHIP_STM32F405ZG is not set
+# CONFIG_ARCH_CHIP_STM32F407IE is not set
+# CONFIG_ARCH_CHIP_STM32F407IG is not set
+# CONFIG_ARCH_CHIP_STM32F407VE is not set
+# CONFIG_ARCH_CHIP_STM32F407VG is not set
+# CONFIG_ARCH_CHIP_STM32F407ZE is not set
+# CONFIG_ARCH_CHIP_STM32F407ZG is not set
+# CONFIG_ARCH_CHIP_STM32F411RE is not set
+# CONFIG_ARCH_CHIP_STM32F427I is not set
+# CONFIG_ARCH_CHIP_STM32F427V is not set
+# CONFIG_ARCH_CHIP_STM32F427Z is not set
+# CONFIG_ARCH_CHIP_STM32F429B is not set
+# CONFIG_ARCH_CHIP_STM32F429I is not set
+# CONFIG_ARCH_CHIP_STM32F429N is not set
+# CONFIG_ARCH_CHIP_STM32F429V is not set
+# CONFIG_ARCH_CHIP_STM32F429Z is not set
+# CONFIG_ARCH_CHIP_STM32L151C6 is not set
+# CONFIG_ARCH_CHIP_STM32L151C8 is not set
+# CONFIG_ARCH_CHIP_STM32L151CB is not set
+# CONFIG_ARCH_CHIP_STM32L151R6 is not set
+# CONFIG_ARCH_CHIP_STM32L151R8 is not set
+# CONFIG_ARCH_CHIP_STM32L151RB is not set
+# CONFIG_ARCH_CHIP_STM32L151V6 is not set
+# CONFIG_ARCH_CHIP_STM32L151V8 is not set
+# CONFIG_ARCH_CHIP_STM32L151VB is not set
+# CONFIG_ARCH_CHIP_STM32L152C6 is not set
+# CONFIG_ARCH_CHIP_STM32L152C8 is not set
+# CONFIG_ARCH_CHIP_STM32L152CB is not set
+# CONFIG_ARCH_CHIP_STM32L152R6 is not set
+# CONFIG_ARCH_CHIP_STM32L152R8 is not set
+# CONFIG_ARCH_CHIP_STM32L152RB is not set
+# CONFIG_ARCH_CHIP_STM32L152RC is not set
+# CONFIG_ARCH_CHIP_STM32L152V6 is not set
+# CONFIG_ARCH_CHIP_STM32L152V8 is not set
+# CONFIG_ARCH_CHIP_STM32L152VB is not set
+CONFIG_ARCH_CHIP_STM32L162VE=y
+# CONFIG_ARCH_CHIP_STM32L162ZD is not set
+# CONFIG_STM32_CONNECTIVITYLINE is not set
+CONFIG_STM32_DFU=y
+CONFIG_STM32_ENERGYLITE=y
+CONFIG_STM32_HIGHDENSITY=y
+# CONFIG_STM32_LOWDENSITY is not set
+# CONFIG_STM32_MEDIUMDENSITY is not set
+# CONFIG_STM32_MEDIUMPLUSDENSITY is not set
+# CONFIG_STM32_PERFORMANCELINE is not set
+# CONFIG_STM32_STM32F10XX is not set
+# CONFIG_STM32_STM32F207 is not set
+# CONFIG_STM32_STM32F20XX is not set
+# CONFIG_STM32_STM32F30XX is not set
+# CONFIG_STM32_STM32F37XX is not set
+# CONFIG_STM32_STM32F401 is not set
+# CONFIG_STM32_STM32F405 is not set
+# CONFIG_STM32_STM32F407 is not set
+# CONFIG_STM32_STM32F40XX is not set
+# CONFIG_STM32_STM32F411 is not set
+# CONFIG_STM32_STM32F427 is not set
+# CONFIG_STM32_STM32F429 is not set
+CONFIG_STM32_STM32L15XX=y
+# CONFIG_STM32_USBACCESSLINE is not set
+# CONFIG_STM32_VALUELINE is not set
+
+#
+# STM32 Peripheral Support
+#
+CONFIG_STM32_ADC=y
+CONFIG_STM32_ADC1=y
+# CONFIG_STM32_ADC2 is not set
+# CONFIG_STM32_ADC3 is not set
+# CONFIG_STM32_CAN1 is not set
+# CONFIG_STM32_COMP is not set
+# CONFIG_STM32_CRC is not set
+# CONFIG_STM32_DAC1 is not set
+# CONFIG_STM32_DAC2 is not set
+CONFIG_STM32_DMA1=y
+CONFIG_STM32_DMA2=y
+# CONFIG_STM32_FSMC is not set
+CONFIG_STM32_HAVE_ADC2=y
+CONFIG_STM32_HAVE_ADC3=y
+# CONFIG_STM32_HAVE_ADC4 is not set
+CONFIG_STM32_HAVE_CAN1=y
+# CONFIG_STM32_HAVE_CAN2 is not set
+# CONFIG_STM32_HAVE_CCM is not set
+# CONFIG_STM32_HAVE_ETHMAC is not set
+CONFIG_STM32_HAVE_FSMC=y
+# CONFIG_STM32_HAVE_OTGFS is not set
+# CONFIG_STM32_HAVE_RNG is not set
+CONFIG_STM32_HAVE_SPI2=y
+CONFIG_STM32_HAVE_SPI3=y
+# CONFIG_STM32_HAVE_SPI4 is not set
+# CONFIG_STM32_HAVE_SPI5 is not set
+# CONFIG_STM32_HAVE_SPI6 is not set
+CONFIG_STM32_HAVE_TIM1=y
+CONFIG_STM32_HAVE_TIM10=y
+CONFIG_STM32_HAVE_TIM11=y
+# CONFIG_STM32_HAVE_TIM12 is not set
+# CONFIG_STM32_HAVE_TIM13 is not set
+# CONFIG_STM32_HAVE_TIM14 is not set
+# CONFIG_STM32_HAVE_TIM15 is not set
+# CONFIG_STM32_HAVE_TIM16 is not set
+# CONFIG_STM32_HAVE_TIM17 is not set
+CONFIG_STM32_HAVE_TIM5=y
+CONFIG_STM32_HAVE_TIM6=y
+CONFIG_STM32_HAVE_TIM7=y
+CONFIG_STM32_HAVE_TIM8=y
+CONFIG_STM32_HAVE_TIM9=y
+CONFIG_STM32_HAVE_UART4=y
+CONFIG_STM32_HAVE_UART5=y
+# CONFIG_STM32_HAVE_UART7 is not set
+# CONFIG_STM32_HAVE_UART8 is not set
+CONFIG_STM32_HAVE_USART3=y
+# CONFIG_STM32_HAVE_USART6 is not set
+CONFIG_STM32_HAVE_USBDEV=y
+CONFIG_STM32_I2C=y
+CONFIG_STM32_I2C1=y
+CONFIG_STM32_I2C2=y
+CONFIG_STM32_IWDG=y
+# CONFIG_STM32_LCD is not set
+# CONFIG_STM32_NOEXT_VECTORS is not set
+CONFIG_STM32_PWR=y
+# CONFIG_STM32_SDIO is not set
+CONFIG_STM32_SPI=y
+CONFIG_STM32_SPI1=y
+CONFIG_STM32_SPI2=y
+CONFIG_STM32_SPI3=y
+CONFIG_STM32_SYSCFG=y
+# CONFIG_STM32_TIM1 is not set
+# CONFIG_STM32_TIM10 is not set
+# CONFIG_STM32_TIM11 is not set
+# CONFIG_STM32_TIM2 is not set
+# CONFIG_STM32_TIM3 is not set
+# CONFIG_STM32_TIM4 is not set
+# CONFIG_STM32_TIM5 is not set
+# CONFIG_STM32_TIM6 is not set
+# CONFIG_STM32_TIM7 is not set
+# CONFIG_STM32_TIM8 is not set
+# CONFIG_STM32_TIM9 is not set
+# CONFIG_STM32_UART4 is not set
+CONFIG_STM32_UART5=y
+CONFIG_STM32_USART1=y
+CONFIG_STM32_USART2=y
+CONFIG_STM32_USART3=y
+CONFIG_STM32_USB=y
+# CONFIG_STM32_WWDG is not set
+
+#
+# Alternate Pin Mapping
+#
+# CONFIG_ARCH_BOARD_STM32_CUSTOM_CLOCKCONFIG is not set
+CONFIG_STM32_DISABLE_IDLE_SLEEP_DURING_DEBUG=y
+# CONFIG_STM32_DMACAPABLE is not set
+# CONFIG_STM32_FORCEPOWER is not set
+CONFIG_STM32_HAVE_ONLY_EOCIE=y
+# CONFIG_STM32_JTAG_DISABLE is not set
+CONFIG_STM32_JTAG_FULL_ENABLE=y
+# CONFIG_STM32_JTAG_NOJNTRST_ENABLE is not set
+# CONFIG_STM32_JTAG_SW_ENABLE is not set
+CONFIG_STM32_KEEP_CORE_CLOCK_ENABLED_IN_IDLE_MODES=y
+CONFIG_STM32_USART=y
+
+#
+# U[S]ART Configuration
+#
+CONFIG_SERIAL_DISABLE_REORDERING=y
+# CONFIG_STM32_FLOWCONTROL_BROKEN is not set
+# CONFIG_STM32_USART_SINGLEWIRE is not set
+# CONFIG_UART5_RS485 is not set
+# CONFIG_UART5_RXDMA is not set
+# CONFIG_USART1_RS485 is not set
+CONFIG_USART1_RXDMA=y
+# CONFIG_USART2_RS485 is not set
+CONFIG_USART2_RXDMA=y
+# CONFIG_USART3_RS485 is not set
+CONFIG_USART3_RXDMA=y
+
+#
+# SPI Configuration
+#
+# CONFIG_STM32_SPI_DMA is not set
+# CONFIG_STM32_SPI_INTERRUPTS is not set
+
+#
+# I2C Configuration
+#
+# CONFIG_RTC_HSECLOCK is not set
+CONFIG_RTC_LSECLOCK=y
+# CONFIG_RTC_LSICLOCK is not set
+CONFIG_RTC_MAGIC=0xfacefeee
+CONFIG_RTC_MAGIC_REG=0
+# CONFIG_STM32_HAVE_RTC_COUNTER is not set
+CONFIG_STM32_HAVE_RTC_SUBSECONDS=y
+CONFIG_STM32_I2CTIMEOSEC=0
+# CONFIG_STM32_I2C_ALT is not set
+# CONFIG_STM32_I2C_DUTY16_9 is not set
+CONFIG_STM32_I2C_DYNTIMEO=y
+CONFIG_STM32_I2C_DYNTIMEO_STARTSTOP=1000
+CONFIG_STM32_I2C_DYNTIMEO_USECPERBYTE=500
+
+#
+# USB FS Host Configuration
+#
+
+#
+# USB HS Host Configuration
+#
+
+#
+# USB Host Debug Configuration
+#
+
+#
+# USB Device Configuration
+#
+
+#
+# Architecture Options
+#
+CONFIG_ARCH_DMA=y
+# CONFIG_ARCH_HAVE_ADDRENV is not set
+# CONFIG_ARCH_HAVE_COHERENT_DCACHE is not set
+# CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_HAVE_IRQPRIO=y
+# CONFIG_ARCH_HAVE_MMU is not set
+CONFIG_ARCH_HAVE_MPU=y
+# CONFIG_ARCH_HAVE_RAMFUNCS is not set
+CONFIG_ARCH_HAVE_RAMVECTORS=y
+CONFIG_ARCH_HAVE_VFORK=y
+# CONFIG_ARCH_IDLE_CUSTOM is not set
+# CONFIG_ARCH_IRQPRIO is not set
+# CONFIG_ARCH_L2CACHE is not set
+# CONFIG_ARCH_NAND_HWECC is not set
+# CONFIG_ARCH_NEED_ADDRENV_MAPPING is not set
+# CONFIG_ARCH_NOINTC is not set
+# CONFIG_ARCH_RAMVECTORS is not set
+CONFIG_ARCH_STACKDUMP=y
+CONFIG_ARCH_USE_MPU=y
+# CONFIG_ARCH_VECNOTIRQ is not set
+# CONFIG_ENDIAN_BIG is not set
+
+#
+# Board Settings
+#
+# CONFIG_ARCH_CALIBRATION is not set
+CONFIG_BOARD_LOOPSPERMSEC=2920
+
+#
+# Interrupt options
+#
+CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y
+CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
+# CONFIG_ARCH_HIPRI_INTERRUPT is not set
+CONFIG_ARCH_INTERRUPTSTACK=0
+
+#
+# Boot options
+#
+# CONFIG_BOOT_COPYTORAM is not set
+# CONFIG_BOOT_RUNFROMEXTSRAM is not set
+CONFIG_BOOT_RUNFROMFLASH=y
+# CONFIG_BOOT_RUNFROMISRAM is not set
+# CONFIG_BOOT_RUNFROMSDRAM is not set
+
+#
+# Boot Memory Configuration
+#
+# CONFIG_ARCH_HAVE_SDRAM is not set
+CONFIG_RAM_SIZE=81920
+CONFIG_RAM_START=0x20000000
+
+#
+# Board Selection
+#
+CONFIG_ARCH_BOARD="haltian-tsone"
+# CONFIG_ARCH_BOARD_CUSTOM is not set
+# CONFIG_ARCH_BOARD_EXTRA is not set
+CONFIG_ARCH_BOARD_HALTIAN_TSONE_B15=y
+CONFIG_BOARD_CRASHDUMP=y
+
+#
+# Common Board Options
+#
+CONFIG_ARCH_BUTTONS=y
+CONFIG_ARCH_HAVE_BUTTONS=y
+CONFIG_ARCH_HAVE_IRQBUTTONS=y
+CONFIG_ARCH_HAVE_LEDS=y
+CONFIG_ARCH_IRQBUTTONS=y
+# CONFIG_ARCH_LEDS is not set
+CONFIG_NSH_MMCSDMINOR=0
+CONFIG_NSH_MMCSDSLOTNO=0
+CONFIG_NSH_MMCSDSPIPORTNO=0
+
+#
+# Board-Specific Options
+#
+# CONFIG_BOARDCTL_ADCTEST is not set
+# CONFIG_BOARDCTL_GRAPHICS is not set
+# CONFIG_BOARDCTL_IOCTL is not set
+# CONFIG_BOARDCTL_TSCTEST is not set
+# CONFIG_BOARD_DEEPSLEEP_RECONFIGURE_GPIOS is not set
+# CONFIG_BOARD_DEEPSLEEP_SKIP_PMSTOP is not set
+# CONFIG_BOARD_DISABLE_DEEPSLEEP is not set
+# CONFIG_BOARD_ENABLE_FILL_FLASH is not set
+CONFIG_BOARD_ENABLE_FIX_FOR_INVALID_OPTION_BYTES=y
+CONFIG_BOARD_HALTIAN_HWWDG=y
+CONFIG_BOARD_HSE_XTAL_FREQUENCY=8
+CONFIG_BOARD_I2C_BQ24251_CHARGER=1
+CONFIG_BOARD_I2C_CYPRESS_CAPSENSE=2
+CONFIG_BOARD_I2C_HTS221_HUMIDITY=1
+CONFIG_BOARD_I2C_LED_LP5521=2
+CONFIG_BOARD_I2C_LIS2DH_ACCEL=1
+CONFIG_BOARD_I2C_LPS25H_PRESSURE=1
+CONFIG_BOARD_I2C_LSM9DS1_SENSOR=2
+CONFIG_BOARD_I2C_MAX44009_SENSOR=1
+CONFIG_BOARD_I2C_SHT25_HUMIDITY=1
+CONFIG_BOARD_INITIALIZE_USB_SERIAL=y
+# CONFIG_BOARD_MCO_SYSCLK is not set
+CONFIG_BOARD_MMCSDMINOR=0
+CONFIG_BOARD_MMCSDSLOTNO=0
+# CONFIG_BOARD_RECONFIGURE_GPIOS_SKIP_JTAG is not set
+# CONFIG_BOARD_RND_USE_USB_CONSOLE is not set
+CONFIG_CC3000_RX_BUFFER_SIZE=592
+CONFIG_CC3000_TX_BUFFER_SIZE=592
+CONFIG_DEVICE_DESIGNATE="TSONE"
+CONFIG_DEV_PIPE_SIZE=64
+CONFIG_LIB_BOARDCTL=y
+
+#
+# RTOS Features
+#
+# CONFIG_DISABLE_ENVIRON is not set
+# CONFIG_DISABLE_MQUEUE is not set
+CONFIG_DISABLE_OS_API=y
+CONFIG_DISABLE_POSIX_TIMERS=y
+# CONFIG_DISABLE_PTHREAD is not set
+# CONFIG_DISABLE_SIGNALS is not set
+
+#
+# Clocks and Timers
+#
+CONFIG_CLOCK_MONOTONIC=y
+CONFIG_CLOCK_MONOTONIC_OFFSET_TIME=y
+# CONFIG_JULIAN_TIME is not set
+CONFIG_MAX_WDOGPARMS=2
+CONFIG_PREALLOC_TIMERS=0
+CONFIG_PREALLOC_WDOGS=6
+# CONFIG_SYSTEM_TIME64 is not set
+CONFIG_USEC_PER_TICK=10000
+CONFIG_WDOG_INTRESERVE=4
+
+#
+# Tasks and Scheduling
+#
+CONFIG_INIT_ENTRYPOINT=y
+# CONFIG_INIT_FILEPATH is not set
+# CONFIG_INIT_NONE is not set
+CONFIG_MAX_TASKS=16
+CONFIG_RR_INTERVAL=200
+# CONFIG_SCHED_HAVE_PARENT is not set
+CONFIG_SCHED_WAITPID=y
+CONFIG_TASK_NAME_SIZE=10
+CONFIG_USER_ENTRYPOINT="nsh_main"
+
+#
+# Pthread Options
+#
+# CONFIG_MUTEX_TYPES is not set
+CONFIG_NPTHREAD_KEYS=0
+
+#
+# Performance Monitoring
+#
+CONFIG_SCHED_CPULOAD=y
+# CONFIG_SCHED_CPULOAD_EXTCLK is not set
+CONFIG_SCHED_CPULOAD_TIMECONSTANT=2
+# CONFIG_SCHED_INSTRUMENTATION is not set
+
+#
+# Files and I/O
+#
+CONFIG_DEV_CONSOLE=y
+# CONFIG_FDCLONE_DISABLE is not set
+CONFIG_FDCLONE_STDIO=y
+CONFIG_NAME_MAX=32
+CONFIG_NFILE_DESCRIPTORS=24
+CONFIG_NFILE_STREAMS=8
+# CONFIG_PRIORITY_INHERITANCE is not set
+CONFIG_SDCLONE_DISABLE=y
+
+#
+# RTOS hooks
+#
+CONFIG_BOARD_INITIALIZE=y
+CONFIG_BOARD_INITTHREAD=y
+CONFIG_BOARD_INITTHREAD_PRIORITY=240
+CONFIG_BOARD_INITTHREAD_STACKSIZE=2048
+# CONFIG_SCHED_ATEXIT is not set
+# CONFIG_SCHED_ONEXIT is not set
+# CONFIG_SCHED_STARTHOOK is not set
+
+#
+# Signal Numbers
+#
+CONFIG_SIG_SIGALARM=3
+CONFIG_SIG_SIGCONDTIMEDOUT=16
+CONFIG_SIG_SIGUSR1=1
+CONFIG_SIG_SIGUSR2=2
+
+#
+# POSIX Message Queue Options
+#
+CONFIG_MQ_MAXMSGSIZE=32
+CONFIG_PREALLOC_MQ_MSGS=8
+
+#
+# Work Queue Support
+#
+# CONFIG_SCHED_HPWORK is not set
+# CONFIG_SCHED_LPWORK is not set
+# CONFIG_SCHED_WORKQUEUE is not set
+
+#
+# Stack and heap information
+#
+CONFIG_IDLETHREAD_STACKSIZE=1024
+CONFIG_LIB_SYSCALL=y
+CONFIG_PTHREAD_STACK_DEFAULT=1536
+CONFIG_PTHREAD_STACK_MIN=256
+CONFIG_SYS_NNEST=2
+CONFIG_SYS_RESERVED=8
+CONFIG_USERMAIN_STACKSIZE=3072
+
+#
+# Device Drivers
+#
+CONFIG_ARCH_HAVE_RNG=y
+CONFIG_DEV_NULL=y
+CONFIG_DEV_RANDOM=y
+CONFIG_DEV_ZERO=y
+# CONFIG_DISABLE_POLL is not set
+# CONFIG_LOOP is not set
+
+#
+# Buffering
+#
+CONFIG_ARCH_HAVE_I2CRESET=y
+# CONFIG_ARCH_HAVE_PWM_PULSECOUNT is not set
+# CONFIG_CAN is not set
+# CONFIG_DRVR_READAHEAD is not set
+# CONFIG_DRVR_WRITEBUFFER is not set
+CONFIG_I2C=y
+# CONFIG_I2C_POLLED is not set
+CONFIG_I2C_RESET=y
+# CONFIG_I2C_SLAVE is not set
+# CONFIG_I2C_TRACE is not set
+CONFIG_I2C_TRANSFER=y
+# CONFIG_I2C_WRITEREAD is not set
+# CONFIG_I2S is not set
+CONFIG_PWM=y
+# CONFIG_RAMDISK is not set
+CONFIG_SPI=y
+# CONFIG_SPI_BITBANG is not set
+# CONFIG_SPI_CALLBACK is not set
+CONFIG_SPI_CMDDATA=y
+CONFIG_SPI_EXCHANGE=y
+# CONFIG_SPI_OWNBUS is not set
+
+#
+# Timer Driver Support
+#
+CONFIG_RTC=y
+CONFIG_RTC_ALARM=y
+CONFIG_RTC_DATETIME=y
+CONFIG_RTC_DRIVER=y
+CONFIG_RTC_PERIODIC_AUTORELOAD_WAKEUP=y
+CONFIG_RTC_USE_ALARM_A=y
+# CONFIG_TIMER is not set
+
+#
+# Wakeup clock selection (WUCKSEL)
+#
+CONFIG_ADC=y
+# CONFIG_ADC_ADS125X is not set
+# CONFIG_ADC_CONTINUOUS is not set
+CONFIG_ADC_FIFOSIZE=2
+# CONFIG_ADC_PGA11X is not set
+# CONFIG_AJOYSTICK is not set
+CONFIG_ANALOG=y
+# CONFIG_AUDIO_DEVICES is not set
+# CONFIG_BCH is not set
+# CONFIG_DAC is not set
+# CONFIG_DJOYSTICK is not set
+CONFIG_INPUT=y
+# CONFIG_INPUT_ADS7843E is not set
+CONFIG_INPUT_CYPRESS_MBR3108=y
+# CONFIG_INPUT_CYPRESS_MBR3108_DEBUG is not set
+CONFIG_INPUT_CYPRESS_MBR3108_NPOLLWAITERS=1
+# CONFIG_INPUT_MAX11802 is not set
+# CONFIG_INPUT_MXT is not set
+# CONFIG_INPUT_STMPE811 is not set
+# CONFIG_INPUT_TSC2007 is not set
+CONFIG_LCD=y
+# CONFIG_LED is not set
+# CONFIG_MOUSE is not set
+# CONFIG_RTC_IOCTL is not set
+CONFIG_RTC_WUCKSEL_CKSPRE=y
+# CONFIG_RTC_WUCKSEL_CKSPREADD is not set
+# CONFIG_RTC_WUCKSEL_RTCDIV16 is not set
+# CONFIG_RTC_WUCKSEL_RTCDIV2 is not set
+# CONFIG_RTC_WUCKSEL_RTCDIV4 is not set
+# CONFIG_RTC_WUCKSEL_RTCDIV8 is not set
+# CONFIG_TIMERS_CS2100CP is not set
+# CONFIG_VIDEO_DEVICES is not set
+CONFIG_WATCHDOG=y
+CONFIG_WATCHDOG_DEVPATH="/dev/watchdog0"
+
+#
+# Common LCD Settings
+#
+# CONFIG_LCD_CONSOLE is not set
+CONFIG_LCD_MAXCONTRAST=255
+CONFIG_LCD_MAXPOWER=1
+# CONFIG_LCD_NOGETRUN is not set
+
+#
+# Graphic LCD Devices
+#
+CONFIG_LCD_DD12864WO4A=y
+# CONFIG_LCD_ILI9341 is not set
+CONFIG_LCD_LANDSCAPE=y
+# CONFIG_LCD_MIO283QT2 is not set
+# CONFIG_LCD_MIO283QT9A is not set
+# CONFIG_LCD_NOKIA6100 is not set
+# CONFIG_LCD_P14201 is not set
+# CONFIG_LCD_PORTRAIT is not set
+# CONFIG_LCD_RLANDSCAPE is not set
+# CONFIG_LCD_RPORTRAIT is not set
+# CONFIG_LCD_SHARP_MEMLCD is not set
+# CONFIG_LCD_SSD1289 is not set
+CONFIG_LCD_SSD1306=y
+# CONFIG_LCD_ST7565 is not set
+# CONFIG_LCD_ST7567 is not set
+# CONFIG_LCD_UG2832HSWEG04 is not set
+# CONFIG_LCD_UG2864AMBAG01 is not set
+# CONFIG_LCD_UG2864HSWEG01 is not set
+# CONFIG_LCD_UG9664HSWAG01 is not set
+CONFIG_SSD1306_FREQUENCY=10000000
+CONFIG_SSD1306_SPIMODE=3
+
+#
+# Alphanumeric/Segment LCD Devices
+#
+# CONFIG_16550_UART is not set
+# CONFIG_ARCH_HAVE_OTHER_UART is not set
+# CONFIG_ARCH_HAVE_SCI0 is not set
+# CONFIG_ARCH_HAVE_SCI1 is not set
+# CONFIG_ARCH_HAVE_SDIO is not set
+# CONFIG_ARCH_HAVE_SDIOWAIT_WRCOMPLETE is not set
+# CONFIG_ARCH_HAVE_UART is not set
+# 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_UART4 is not set
+CONFIG_ARCH_HAVE_UART5=y
+# CONFIG_ARCH_HAVE_UART6 is not set
+# CONFIG_ARCH_HAVE_UART7 is not set
+# CONFIG_ARCH_HAVE_UART8 is not set
+# CONFIG_ARCH_HAVE_USART0 is not set
+CONFIG_ARCH_HAVE_USART1=y
+CONFIG_ARCH_HAVE_USART2=y
+CONFIG_ARCH_HAVE_USART3=y
+# CONFIG_ARCH_HAVE_USART4 is not set
+# CONFIG_ARCH_HAVE_USART5 is not set
+# CONFIG_ARCH_HAVE_USART6 is not set
+# CONFIG_ARCH_HAVE_USART7 is not set
+# CONFIG_ARCH_HAVE_USART8 is not set
+# CONFIG_BATTERY is not set
+CONFIG_BQ24251_CHARGER=y
+CONFIG_BQ24251_NPOLLWAITERS=1
+# CONFIG_DEBUG_BQ24251_CHARGER is not set
+# CONFIG_DEBUG_LIS2DH is not set
+# CONFIG_DEBUG_PRESSURE_DEV_LPS25H is not set
+# CONFIG_DEV_LOWCONSOLE is not set
+# CONFIG_EEPROM is not set
+CONFIG_HTS221_HUMIDITY=y
+CONFIG_HTS221_NPOLLWAITERS=1
+# CONFIG_I2C_HUMIDITY_DEV_SHT25 is not set
+CONFIG_I2C_PRESSURE_DEV_LPS25H=y
+# CONFIG_LCD_LCD1602 is not set
+CONFIG_LIS2DH=y
+CONFIG_LIS2DH_NPOLLWAITERS=2
+# CONFIG_LIS331DL is not set
+# CONFIG_LM75 is not set
+CONFIG_LSM9DS1_SENS=y
+CONFIG_LSM9DS1_SENS_NPOLLWAITERS=1
+CONFIG_MAX44009_SENSOR=y
+CONFIG_MAX44009_SENSOR_NPOLLWAITERS=1
+CONFIG_MMCSD=y
+CONFIG_MMCSD_HAVECARDDETECT=y
+CONFIG_MMCSD_MMCSUPPORT=y
+# CONFIG_MMCSD_MULTIBLOCK_DISABLE is not set
+CONFIG_MMCSD_NSLOTS=1
+# CONFIG_MMCSD_READONLY is not set
+CONFIG_MMCSD_SPI=y
+CONFIG_MMCSD_SPICLOCK=16000000
+CONFIG_MMCSD_SPIMODE=0
+# CONFIG_MPL115A is not set
+# CONFIG_MTD is not set
+# CONFIG_NETDEVICES is not set
+# CONFIG_NET_SLIP is not set
+CONFIG_PIPES=y
+# CONFIG_PM is not set
+CONFIG_POWER=y
+# CONFIG_QENCODER is not set
+CONFIG_SENSORS=y
+# CONFIG_SENSORS_ADXL345 is not set
+# CONFIG_SERCOMM_CONSOLE is not set
+CONFIG_SERIAL=y
+CONFIG_SERIAL_REMOVABLE=y
+# CONFIG_TRACES_HTS221_HUMIDITY is not set
+# CONFIG_TRACES_LSM9DS1_SENS is not set
+# CONFIG_TRACES_MAX44009_SENSOR is not set
+
+#
+# USART Configuration
+#
+CONFIG_ARCH_HAVE_SERIAL_TERMIOS=y
+CONFIG_MCU_SERIAL=y
+# CONFIG_NO_SERIAL_CONSOLE is not set
+# CONFIG_OTHER_SERIAL_CONSOLE is not set
+CONFIG_SERIAL_IFLOWCONTROL=y
+# CONFIG_SERIAL_IFLOWCONTROL_WATERMARKS is not set
+CONFIG_SERIAL_NPOLLWAITERS=2
+CONFIG_SERIAL_OFLOWCONTROL=y
+CONFIG_SERIAL_TERMIOS=y
+# CONFIG_SERIAL_TIOCSERGSTRUCT is not set
+CONFIG_STANDARD_SERIAL=y
+CONFIG_UART5_SERIAL_CONSOLE=y
+CONFIG_USART1_ISUART=y
+# CONFIG_USART1_SERIAL_CONSOLE is not set
+CONFIG_USART2_ISUART=y
+# CONFIG_USART2_SERIAL_CONSOLE is not set
+CONFIG_USART3_ISUART=y
+# CONFIG_USART3_SERIAL_CONSOLE is not set
+
+#
+# USART1 Configuration
+#
+CONFIG_USART1_2STOP=0
+CONFIG_USART1_BAUD=9600
+CONFIG_USART1_BITS=8
+# CONFIG_USART1_IFLOWCONTROL is not set
+# CONFIG_USART1_OFLOWCONTROL is not set
+CONFIG_USART1_PARITY=0
+CONFIG_USART1_RXBUFSIZE=256
+CONFIG_USART1_TXBUFSIZE=256
+
+#
+# USART2 Configuration
+#
+CONFIG_USART2_2STOP=0
+CONFIG_USART2_BAUD=115200
+CONFIG_USART2_BITS=8
+CONFIG_USART2_IFLOWCONTROL=y
+CONFIG_USART2_OFLOWCONTROL=y
+CONFIG_USART2_PARITY=0
+CONFIG_USART2_RXBUFSIZE=32
+CONFIG_USART2_TXBUFSIZE=32
+
+#
+# USART3 Configuration
+#
+CONFIG_USART3_2STOP=0
+CONFIG_USART3_BAUD=115200
+CONFIG_USART3_BITS=8
+CONFIG_USART3_IFLOWCONTROL=y
+CONFIG_USART3_OFLOWCONTROL=y
+CONFIG_USART3_PARITY=0
+CONFIG_USART3_RXBUFSIZE=64
+CONFIG_USART3_TXBUFSIZE=64
+
+#
+# UART5 Configuration
+#
+CONFIG_UART5_2STOP=0
+CONFIG_UART5_BAUD=115200
+CONFIG_UART5_BITS=8
+# CONFIG_UART5_IFLOWCONTROL is not set
+# CONFIG_UART5_OFLOWCONTROL is not set
+CONFIG_UART5_PARITY=0
+CONFIG_UART5_RXBUFSIZE=32
+CONFIG_UART5_TXBUFSIZE=32
+CONFIG_USBDEV=y
+
+#
+# USB Device Controller Driver Options
+#
+# CONFIG_ARCH_USBDEV_STALLQUEUE is not set
+CONFIG_USBDEV_BUSPOWERED=y
+# CONFIG_USBDEV_DMA is not set
+# CONFIG_USBDEV_DUALSPEED is not set
+# CONFIG_USBDEV_ISOCHRONOUS is not set
+CONFIG_USBDEV_MAXPOWER=500
+# CONFIG_USBDEV_SELFPOWERED is not set
+# CONFIG_USBDEV_TRACE is not set
+
+#
+# USB Device Class Driver Options
+#
+CONFIG_CC3000_DEVMINOR=0
+CONFIG_CC3000_DISABLE_MULTITHREAD_MODE=y
+# CONFIG_CC3000_MULTIPLE is not set
+CONFIG_CC3000_NPOLLWAITERS=2
+# CONFIG_CC3000_PROBES is not set
+CONFIG_CC3000_SELECT_STACKSIZE=-1
+CONFIG_CC3000_SEND_NON_BLOCKING=y
+CONFIG_CC3000_SPIDEV=1
+CONFIG_CC3000_SPI_FREQUENCY=16000000
+CONFIG_CC3000_SPI_MODE=1
+CONFIG_CC3000_UNSOLICED_STACKSIZE=800
+CONFIG_CC3000_WORKER_STACKSIZE=800
+CONFIG_CDCACM=y
+CONFIG_CDCACM_BULKIN_REQLEN=96
+# CONFIG_CDCACM_CONSOLE is not set
+CONFIG_CDCACM_EP0MAXPACKET=64
+CONFIG_CDCACM_EPBULKIN=2
+CONFIG_CDCACM_EPBULKIN_FSSIZE=64
+CONFIG_CDCACM_EPBULKIN_HSSIZE=512
+CONFIG_CDCACM_EPBULKOUT=3
+CONFIG_CDCACM_EPBULKOUT_FSSIZE=64
+CONFIG_CDCACM_EPBULKOUT_HSSIZE=512
+CONFIG_CDCACM_EPINTIN=1
+CONFIG_CDCACM_EPINTIN_FSSIZE=64
+CONFIG_CDCACM_EPINTIN_HSSIZE=64
+CONFIG_CDCACM_NRDREQS=4
+CONFIG_CDCACM_NWRREQS=4
+CONFIG_CDCACM_PRODUCTID=0xa4a7
+CONFIG_CDCACM_PRODUCTSTR="CDC/ACM Serial"
+CONFIG_CDCACM_RXBUFSIZE=256
+CONFIG_CDCACM_TXBUFSIZE=256
+CONFIG_CDCACM_VENDORID=0x0525
+CONFIG_CDCACM_VENDORSTR="NuttX"
+# CONFIG_PL2303 is not set
+# CONFIG_USBDEV_COMPOSITE is not set
+# CONFIG_USBHOST is not set
+# CONFIG_USBMSC is not set
+CONFIG_WIRELESS=y
+# CONFIG_WL_CC1101 is not set
+CONFIG_WL_CC3000=y
+# CONFIG_WL_NRF24L01 is not set
+
+#
+# System Logging Device Options
+#
+
+#
+# System Logging
+#
+# CONFIG_RAMLOG is not set
+# CONFIG_SYSLOG_CONSOLE is not set
+
+#
+# Networking Support
+#
+CONFIG_ARCH_HAVE_NET=y
+# CONFIG_ARCH_HAVE_PHY is not set
+CONFIG_NET=y
+CONFIG_NET_NOINTS=y
+# CONFIG_NET_PROMISCUOUS is not set
+
+#
+# Driver buffer configuration
+#
+CONFIG_NET_GUARDSIZE=2
+# CONFIG_NET_MULTIBUFFER is not set
+
+#
+# Data link support
+#
+# CONFIG_NET_ETHERNET is not set
+# CONFIG_NET_MULTILINK is not set
+# CONFIG_NET_TUN is not set
+
+#
+# Network Device Operations
+#
+
+#
+# Internet Protocol Selection
+#
+CONFIG_NET_IPv4=y
+# CONFIG_NET_IPv6 is not set
+
+#
+# Socket Support
+#
+CONFIG_NET_NACTIVESOCKETS=16
+CONFIG_NET_SOCKOPTS=y
+# CONFIG_NET_SOLINGER is not set
+CONFIG_NSOCKET_DESCRIPTORS=8
+
+#
+# Raw Socket Support
+#
+# CONFIG_NET_PKT is not set
+
+#
+# Unix Domain Socket Support
+#
+CONFIG_NET_LOCAL=y
+# CONFIG_NET_LOCAL_DGRAM is not set
+CONFIG_NET_LOCAL_STREAM=y
+
+#
+# TCP/IP Networking
+#
+CONFIG_NET_TCP=y
+# CONFIG_NET_TCP_STACK is not set
+
+#
+# UDP Networking
+#
+CONFIG_NET_UDP=y
+# CONFIG_NET_UDP_STACK is not set
+
+#
+# ICMP Networking Support
+#
+# CONFIG_NET_ICMP is not set
+
+#
+# IGMPv2 Client Support
+#
+# CONFIG_NET_IGMP is not set
+
+#
+# ARP Configuration
+#
+
+#
+# Network I/O Buffer Support
+#
+# CONFIG_NET_IOB is not set
+
+#
+# User-space networking stack API
+#
+# CONFIG_NET_ARCH_CHKSUM is not set
+# CONFIG_NET_ARCH_INCR32 is not set
+# CONFIG_NET_STATISTICS is not set
+CONFIG_NET_USRSOCK=y
+CONFIG_NET_USRSOCK_TCP=y
+CONFIG_NET_USRSOCK_UDP=y
+
+#
+# Routing Table Configuration
+#
+# CONFIG_NET_ROUTE is not set
+
+#
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
+# File Systems
+#
+
+#
+# File system configuration
+#
+# CONFIG_DISABLE_MOUNTPOINT is not set
+# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
+# CONFIG_FAT_DMAMEMORY is not set
+# CONFIG_FAT_LCNAMES is not set
+# CONFIG_FAT_LFN is not set
+# CONFIG_FS_AUTOMOUNTER is not set
+CONFIG_FS_FAT=y
+# CONFIG_FS_FATTIME is not set
+CONFIG_FS_MQUEUE_MPATH="/var/mqueue"
+CONFIG_FS_NAMED_SEMAPHORES=y
+CONFIG_FS_NAMED_SEMPATH="/var/lock"
+# CONFIG_FS_NXFFS is not set
+CONFIG_FS_PROCFS=y
+# CONFIG_FS_RAMMAP is not set
+CONFIG_FS_READABLE=y
+# CONFIG_FS_ROMFS is not set
+# CONFIG_FS_SMARTFS is not set
+CONFIG_FS_WRITABLE=y
+# CONFIG_NFS is not set
+
+#
+# Exclude individual procfs entries
+#
+# CONFIG_FS_PROCFS_EXCLUDE_CPULOAD is not set
+# CONFIG_FS_PROCFS_EXCLUDE_MOUNTS is not set
+# CONFIG_FS_PROCFS_EXCLUDE_PROCESS is not set
+# CONFIG_FS_PROCFS_EXCLUDE_UPTIME is not set
+
+#
+# System Logging
+#
+CONFIG_SYSLOG=y
+CONFIG_SYSLOG_CHAR=y
+CONFIG_SYSLOG_COPY_TO_STDERR=y
+CONFIG_SYSLOG_DEVPATH="/media/syslog.txt"
+# CONFIG_SYSLOG_DISABLE_EOL_FLUSH is not set
+# CONFIG_SYSLOG_LOWSYSLOG_TO_HIGHSYSLOG is not set
+CONFIG_SYSLOG_RTC_TIMESTAMP=y
+CONFIG_SYSLOG_RUNSTOP_DYNAMIC=y
+CONFIG_SYSLOG_TIMESTAMP=y
+
+#
+# Graphics Support
+#
+# CONFIG_NX is not set
+CONFIG_NX_LCDDRIVER=y
+
+#
+# Memory Management
+#
+# CONFIG_ARCH_HAVE_HEAP2 is not set
+# CONFIG_GRAN is not set
+CONFIG_MM_KERNEL_HEAP=y
+CONFIG_MM_KERNEL_HEAPSIZE=8192
+CONFIG_MM_REGIONS=1
+# CONFIG_MM_SMALL is not set
+
+#
+# Audio Support
+#
+# CONFIG_AUDIO is not set
+
+#
+# Binary Loader
+#
+# CONFIG_BINFMT_DISABLE is not set
+CONFIG_BINFMT_EXEPATH=y
+# CONFIG_ELF is not set
+# CONFIG_NXFLAT is not set
+CONFIG_PATH_INITIAL="/bin"
+# CONFIG_PIC is not set
+# CONFIG_SYMTAB_ORDEREDBYNAME is not set
+
+#
+# Library Routines
+#
+
+#
+# Standard C Library Options
+#
+CONFIG_ARCH_LOWPUTC=y
+# CONFIG_ARCH_OPTIMIZED_FUNCTIONS is not set
+# CONFIG_ARCH_ROMGETC is not set
+# CONFIG_EOL_IS_BOTH_CRLF is not set
+# CONFIG_EOL_IS_CR is not set
+CONFIG_EOL_IS_EITHER_CRLF=y
+# CONFIG_EOL_IS_LF is not set
+# CONFIG_LIBC_EXECFUNCS is not set
+CONFIG_LIBC_FLOATINGPOINT=y
+# CONFIG_LIBC_IOCTL_VARIADIC is not set
+# CONFIG_LIBC_LOCALTIME is not set
+CONFIG_LIBC_MAX_TMPFILE=32
+# CONFIG_LIBC_PERROR_STDOUT is not set
+# CONFIG_LIBC_STRERROR is not set
+CONFIG_LIBC_TMPDIR="/tmp"
+# CONFIG_LIBM is not set
+CONFIG_LIB_HOMEDIR="/"
+CONFIG_LIB_RAND_ORDER=1
+CONFIG_LIB_SENDFILE_BUFSIZE=512
+# CONFIG_NOPRINTF_FIELDWIDTH is not set
+CONFIG_NUNGET_CHARS=0
+CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=1024
+CONFIG_STDIO_BUFFER_SIZE=0
+CONFIG_STDIO_LINEBUFFER=y
+CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=1536
+# CONFIG_TIME_EXTENDED is not set
+
+#
+# Non-standard Library Support
+#
+# CONFIG_LIB_KBDCODEC is not set
+# CONFIG_LIB_SLCDCODEC is not set
+# CONFIG_LIB_USRWORK is not set
+
+#
+# Basic CXX Support
+#
+CONFIG_C99_BOOL8=y
+# CONFIG_CXX_NEWLONG is not set
+CONFIG_HAVE_CXX=y
+CONFIG_HAVE_CXXINITIALIZE=y
+
+#
+# uClibc++ Standard C++ Library
+#
+# CONFIG_UCLIBCXX is not set
+
+#
+# Application Configuration
+#
+
+#
+# Thingsee platform
+#
+# CONFIG_THINGSEE_BLUETOOTH_MODULE is not set
+# CONFIG_THINGSEE_LIB is not set
+# CONFIG_THINGSEE_UI is not set
+
+#
+# Thingsee engine
+#
+# CONFIG_THINGSEE_ENGINE is not set
+
+#
+# Built-In Applications
+#
+
+#
+# Examples
+#
+# CONFIG_EXAMPLES_ADC is not set
+# CONFIG_EXAMPLES_BUTTONS is not set
+# CONFIG_EXAMPLES_CAN is not set
+# CONFIG_EXAMPLES_CC3000BASIC is not set
+# CONFIG_EXAMPLES_CONFIGDATA is not set
+# CONFIG_EXAMPLES_CPUHOG is not set
+# CONFIG_EXAMPLES_CXXTEST is not set
+# CONFIG_EXAMPLES_DHCPD is not set
+# CONFIG_EXAMPLES_DISCOVER is not set
+# CONFIG_EXAMPLES_ELF is not set
+# CONFIG_EXAMPLES_FTPC is not set
+# CONFIG_EXAMPLES_FTPD is not set
+# CONFIG_EXAMPLES_HELLO is not set
+# CONFIG_EXAMPLES_HELLOXX is not set
+# CONFIG_EXAMPLES_IGMP is not set
+# CONFIG_EXAMPLES_JSON is not set
+# CONFIG_EXAMPLES_KEYPADTEST is not set
+# CONFIG_EXAMPLES_MM is not set
+# CONFIG_EXAMPLES_MODBUS is not set
+# CONFIG_EXAMPLES_MOUNT is not set
+# CONFIG_EXAMPLES_NETTEST is not set
+# CONFIG_EXAMPLES_NRF24L01TERM is not set
+CONFIG_EXAMPLES_NSH=y
+# CONFIG_EXAMPLES_NSH_CXXINITIALIZE is not set
+# CONFIG_EXAMPLES_NULL is not set
+# CONFIG_EXAMPLES_NX is not set
+# CONFIG_EXAMPLES_NXFFS is not set
+# CONFIG_EXAMPLES_NXFLAT is not set
+# CONFIG_EXAMPLES_NXHELLO is not set
+# CONFIG_EXAMPLES_NXIMAGE is not set
+# CONFIG_EXAMPLES_NXLINES is not set
+# CONFIG_EXAMPLES_NXTERM is not set
+# CONFIG_EXAMPLES_NXTEXT is not set
+# CONFIG_EXAMPLES_OSTEST is not set
+# CONFIG_EXAMPLES_PIPE is not set
+# CONFIG_EXAMPLES_POLL is not set
+# CONFIG_EXAMPLES_POSIXSPAWN is not set
+# CONFIG_EXAMPLES_PPPD is not set
+# CONFIG_EXAMPLES_QENCODER is not set
+# CONFIG_EXAMPLES_RANDOM is not set
+# CONFIG_EXAMPLES_RELAYS is not set
+# CONFIG_EXAMPLES_RGMP is not set
+# CONFIG_EXAMPLES_ROMFS is not set
+# CONFIG_EXAMPLES_SENDMAIL is not set
+# CONFIG_EXAMPLES_SERIALBLASTER is not set
+# CONFIG_EXAMPLES_SERIALRX is not set
+# CONFIG_EXAMPLES_SERLOOP is not set
+# CONFIG_EXAMPLES_SLCD is not set
+# CONFIG_EXAMPLES_SMART is not set
+# CONFIG_EXAMPLES_TCPECHO is not set
+# CONFIG_EXAMPLES_TELNETD is not set
+# CONFIG_EXAMPLES_THINGSEE_DEMOS is not set
+# CONFIG_EXAMPLES_THTTPD is not set
+# CONFIG_EXAMPLES_TIFF is not set
+# CONFIG_EXAMPLES_TOUCHSCREEN is not set
+# CONFIG_EXAMPLES_UDGRAM is not set
+# CONFIG_EXAMPLES_UDP is not set
+# CONFIG_EXAMPLES_USBSERIAL is not set
+# CONFIG_EXAMPLES_USBTERM is not set
+# CONFIG_EXAMPLES_USTREAM is not set
+# CONFIG_EXAMPLES_WATCHDOG is not set
+# CONFIG_EXAMPLES_WEBSERVER is not set
+# CONFIG_EXAMPLES_WGET is not set
+# CONFIG_EXAMPLES_WGETJSON is not set
+# CONFIG_EXAMPLES_XMLRPC is not set
+
+#
+# Graphics Support
+#
+# CONFIG_GRAPHICS_TRAVELER is not set
+# CONFIG_TIFF is not set
+
+#
+# Interpreters
+#
+# CONFIG_INTERPRETERS_BAS is not set
+# CONFIG_INTERPRETERS_FICL is not set
+# CONFIG_INTERPRETERS_MICROPYTHON is not set
+# CONFIG_INTERPRETERS_PCODE is not set
+
+#
+# Network Utilities
+#
+# CONFIG_CODECS_AVR_URLCODE is not set
+CONFIG_CODECS_BASE64=y
+# CONFIG_CODECS_HASH_MD5 is not set
+# CONFIG_CODECS_URLCODE is not set
+# CONFIG_CODECS_URLCODE_NEWMEMORY is not set
+CONFIG_NETUTILS_CODECS=y
+# CONFIG_NETUTILS_DHCPD is not set
+# CONFIG_NETUTILS_DISCOVER is not set
+CONFIG_NETUTILS_DNSCLIENT=y
+CONFIG_NETUTILS_DNSCLIENT_ENTRIES=8
+CONFIG_NETUTILS_DNSCLIENT_IPv4=y
+CONFIG_NETUTILS_DNSCLIENT_MAXRESPONSE=96
+CONFIG_NETUTILS_DNSCLIENT_RECV_TIMEOUT=30
+CONFIG_NETUTILS_DNSCLIENT_RETRIES=3
+# CONFIG_NETUTILS_FTPC is not set
+# CONFIG_NETUTILS_FTPD is not set
+CONFIG_NETUTILS_JSON=y
+# CONFIG_NETUTILS_JSON_PARSE_IGNORE_MISSING_NULL_TERMINATOR is not set
+CONFIG_NETUTILS_NETLIB=y
+# CONFIG_NETUTILS_NTPCLIENT is not set
+# CONFIG_NETUTILS_PPPD is not set
+# CONFIG_NETUTILS_SMTP is not set
+# CONFIG_NETUTILS_TELNETD is not set
+# CONFIG_NETUTILS_TFTPC is not set
+# CONFIG_NETUTILS_THTTPD is not set
+CONFIG_NETUTILS_WEBCLIENT=y
+# CONFIG_NETUTILS_WEBSERVER is not set
+# CONFIG_NETUTILS_XMLRPC is not set
+CONFIG_NSH_WGET_USERAGENT="NuttX/6.xx.x (; http://www.nuttx.org/)"
+CONFIG_WEBCLIENT_TIMEOUT=10
+
+#
+# FreeModBus
+#
+# CONFIG_MODBUS is not set
+
+#
+# NSH Library
+#
+CONFIG_NSH_LIBRARY=y
+
+#
+# Command Line Configuration
+#
+# CONFIG_NSH_ARGCAT is not set
+# CONFIG_NSH_CLE is not set
+# CONFIG_NSH_CMDPARMS is not set
+CONFIG_NSH_DISABLEBG=y
+CONFIG_NSH_DISABLE_SEMICOLON=y
+CONFIG_NSH_LINELEN=128
+CONFIG_NSH_MAXARGUMENTS=6
+CONFIG_NSH_NESTDEPTH=3
+CONFIG_NSH_READLINE=y
+
+#
+# Disable Individual commands
+#
+CONFIG_NSH_DISABLE_ADDROUTE=y
+CONFIG_NSH_DISABLE_BASE64DEC=y
+CONFIG_NSH_DISABLE_BASE64ENC=y
+# CONFIG_NSH_DISABLE_CAT is not set
+# CONFIG_NSH_DISABLE_CD is not set
+CONFIG_NSH_DISABLE_CMP=y
+# CONFIG_NSH_DISABLE_CP is not set
+# CONFIG_NSH_DISABLE_DATE is not set
+CONFIG_NSH_DISABLE_DD=y
+CONFIG_NSH_DISABLE_DELROUTE=y
+CONFIG_NSH_DISABLE_DF=y
+# CONFIG_NSH_DISABLE_ECHO is not set
+CONFIG_NSH_DISABLE_EXEC=y
+CONFIG_NSH_DISABLE_EXIT=y
+# CONFIG_NSH_DISABLE_FREE is not set
+CONFIG_NSH_DISABLE_GET=y
+# CONFIG_NSH_DISABLE_HELP is not set
+CONFIG_NSH_DISABLE_HEXDUMP=y
+CONFIG_NSH_DISABLE_IFCONFIG=y
+CONFIG_NSH_DISABLE_IFUPDOWN=y
+# CONFIG_NSH_DISABLE_KILL is not set
+CONFIG_NSH_DISABLE_LOSETUP=y
+# CONFIG_NSH_DISABLE_LS is not set
+# CONFIG_NSH_DISABLE_MB is not set
+# CONFIG_NSH_DISABLE_MH is not set
+# CONFIG_NSH_DISABLE_MKDIR is not set
+CONFIG_NSH_DISABLE_MKFATFS=y
+CONFIG_NSH_DISABLE_MKFIFO=y
+CONFIG_NSH_DISABLE_MKRD=y
+# CONFIG_NSH_DISABLE_MOUNT is not set
+# CONFIG_NSH_DISABLE_MV is not set
+# CONFIG_NSH_DISABLE_MW is not set
+CONFIG_NSH_DISABLE_PUT=y
+# CONFIG_NSH_DISABLE_PWD is not set
+# CONFIG_NSH_DISABLE_RM is not set
+# CONFIG_NSH_DISABLE_RMDIR is not set
+# CONFIG_NSH_DISABLE_SET is not set
+# CONFIG_NSH_DISABLE_SH is not set
+# CONFIG_NSH_DISABLE_SLEEP is not set
+# CONFIG_NSH_DISABLE_TEST is not set
+# CONFIG_NSH_DISABLE_UMOUNT is not set
+# CONFIG_NSH_DISABLE_UNSET is not set
+# CONFIG_NSH_DISABLE_USLEEP is not set
+# CONFIG_NSH_DISABLE_WGET is not set
+CONFIG_NSH_DISABLE_XD=y
+
+#
+# Configure Command Options
+#
+CONFIG_NSH_CODECS_BUFSIZE=128
+CONFIG_NSH_FILEIOSIZE=512
+CONFIG_NSH_PROC_MOUNTPOINT="/proc"
+
+#
+# Scripting Support
+#
+# CONFIG_NSH_DISABLESCRIPT is not set
+# CONFIG_NSH_DISABLE_ITEF is not set
+# CONFIG_NSH_DISABLE_LOOPS is not set
+
+#
+# Console Configuration
+#
+CONFIG_NSH_CONSOLE=y
+CONFIG_NSH_USBCONDEV="/dev/ttyACM0"
+CONFIG_NSH_USBCONDEV_ARCHINIT=y
+CONFIG_NSH_USBCONSOLE=y
+CONFIG_USBDEV_MINOR=0
+
+#
+# USB Device Trace Support
+#
+CONFIG_NSH_ARCHINIT=y
+# CONFIG_NSH_USBDEV_TRACE is not set
+
+#
+# Networking Configuration
+#
+# CONFIG_NSH_NETINIT_DEBUG is not set
+# CONFIG_NSH_NETINIT_THREAD is not set
+
+#
+# IP Address Configuration
+#
+
+#
+# IPv4 Addresses
+#
+# CONFIG_NSH_DNS is not set
+CONFIG_NSH_DRIPADDR=0x0a000001
+CONFIG_NSH_IPADDR=0x0a000002
+CONFIG_NSH_MAX_ROUNDTRIP=20
+CONFIG_NSH_NETMASK=0xffffff00
+# CONFIG_NSH_NOMAC is not set
+
+#
+# NxWidgets/NxWM
+#
+
+#
+# Platform-specific Support
+#
+# CONFIG_PLATFORM_CONFIGDATA is not set
+
+#
+# System Libraries and NSH Add-Ons
+#
+# CONFIG_SYSTEM_CDCACM is not set
+# CONFIG_SYSTEM_CLE is not set
+
+#
+# Connection manager
+#
+# CONFIG_SYSTEM_CONMAN is not set
+# CONFIG_SYSTEM_CUTERM is not set
+
+#
+# Device display
+#
+CONFIG_READLINE_ECHO=y
+# CONFIG_SYSTEM_FREE is not set
+# CONFIG_SYSTEM_HEX2BIN is not set
+# CONFIG_SYSTEM_I2CTOOL is not set
+# CONFIG_SYSTEM_INIFILE is not set
+# CONFIG_SYSTEM_INSTALL is not set
+# CONFIG_SYSTEM_POWEROFF is not set
+# CONFIG_SYSTEM_RAMTEST is not set
+# CONFIG_SYSTEM_RAMTRON is not set
+CONFIG_SYSTEM_READLINE=y
+# CONFIG_SYSTEM_SDCARD is not set
+# CONFIG_SYSTEM_SUDOKU is not set
+# CONFIG_SYSTEM_SYSINFO is not set
+# CONFIG_THINGSEE_DISPLAY_MODULE is not set
+
+#
+# u-blox GPS module support
+#
+# CONFIG_SYSTEM_UBGPS is not set
+
+#
+# u-blox Cellular modem library
+#
+# CONFIG_SYSTEM_UBMODEM is not set
+# CONFIG_SYSTEM_VI is not set
+# CONFIG_SYSTEM_ZMODEM is not set
+
+#
+# Automated test applications
+#
+# CONFIG_TESTS_DEFAULT_CONMAN is not set
+# CONFIG_TESTS_UNITY is not set
+# CONFIG_TESTS_UNITY_DEV_ERR is not set
+# CONFIG_TESTS_UNITY_HOST is not set
+# CONFIG_TESTS_UNITY_LIBM is not set
+# CONFIG_TESTS_UNITY_PWRBTN is not set
+# CONFIG_TESTS_UNITY_RAMTEST is not set
+# CONFIG_TESTS_UNITY_USRSOCK is not set
+
+
+
+
+
+
diff --git a/nuttx/configs/haltian-tsone/kernel/.gitignore b/nuttx/configs/haltian-tsone/kernel/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..7bacd5aee3e49e11d2753d091bd2c9b31c0b16b0
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/kernel/.gitignore
@@ -0,0 +1,2 @@
+/nuttx_user.elf
+
diff --git a/nuttx/configs/haltian-tsone/kernel/Makefile b/nuttx/configs/haltian-tsone/kernel/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..48b2584d8e7eba336acd7f913645fd0a80e9fa2b
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/kernel/Makefile
@@ -0,0 +1,122 @@
+############################################################################
+# configs/stm32f4discovery/kernel/Makefile
+#
+#   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+#   Author: Gregory Nutt <gnutt@nuttx.org>
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+#
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# 3. Neither the name NuttX nor the names of its contributors may be
+#    used to endorse or promote products derived from this software
+#    without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+############################################################################
+
+-include $(TOPDIR)/Make.defs
+
+# This is the directory for the board-specific header files
+
+BOARD_INCLUDE = $(TOPDIR)$(DELIM)configs$(DELIM)$(CONFIG_ARCH_BOARD)$(DELIM)include
+
+# The entry point name (if none is provided in the .config file)
+
+CONFIG_USER_ENTRYPOINT ?= user_start
+ENTRYPT = $(patsubst "%",%,$(CONFIG_USER_ENTRYPOINT))
+
+# Get the paths to the libraries and the links script path in format that
+# is appropriate for the host OS
+
+ifeq ($(WINTOOL),y)
+  # Windows-native toolchains
+  USER_LIBPATHS = ${shell for path in $(USERLIBS); do dir=`dirname $(TOPDIR)$(DELIM)$$path`;echo "-L\"`cygpath -w $$dir`\"";done}
+  USER_LDSCRIPT = -T "${shell cygpath -w $(TOPDIR)$(DELIM)configs$(DELIM)$(CONFIG_ARCH_BOARD)$(DELIM)scripts$(DELIM)memory.ld}"
+  USER_LDSCRIPT += -T "${shell cygpath -w $(TOPDIR)$(DELIM)configs$(DELIM)$(CONFIG_ARCH_BOARD)$(DELIM)scripts$(DELIM)user-space.ld}"
+  USER_HEXFILE += "${shell cygpath -w $(TOPDIR)$(DELIM)nuttx_user.hex}"
+  USER_SRECFILE += "${shell cygpath -w $(TOPDIR)$(DELIM)nuttx_user.srec}"
+  USER_BINFILE += "${shell cygpath -w $(TOPDIR)$(DELIM)nuttx_user.bin}"
+else
+  # Linux/Cygwin-native toolchain
+  USER_LIBPATHS = $(addprefix -L$(TOPDIR)$(DELIM),$(dir $(USERLIBS)))
+  USER_LDSCRIPT = -T$(TOPDIR)$(DELIM)configs$(DELIM)$(CONFIG_ARCH_BOARD)$(DELIM)scripts$(DELIM)memory.ld
+  USER_LDSCRIPT += -T$(TOPDIR)$(DELIM)configs$(DELIM)$(CONFIG_ARCH_BOARD)$(DELIM)scripts$(DELIM)user-space.ld
+  USER_HEXFILE += "$(TOPDIR)$(DELIM)nuttx_user.hex"
+  USER_SRECFILE += "$(TOPDIR)$(DELIM)nuttx_user.srec"
+  USER_BINFILE += "$(TOPDIR)$(DELIM)nuttx_user.bin"
+endif
+
+USER_LDFLAGS = --undefined=$(ENTRYPT) --entry=$(ENTRYPT) $(USER_LDSCRIPT)
+USER_LDLIBS = $(patsubst lib%,-l%,$(basename $(notdir $(USERLIBS))))
+USER_LIBGCC = "${shell $(CC) -print-libgcc-file-name}"
+
+# Source files
+
+CSRCS = stm32_userspace.c
+COBJS = $(CSRCS:.c=$(OBJEXT))
+OBJS  = $(COBJS)
+
+# Targets:
+
+all: $(TOPDIR)$(DELIM)nuttx_user.elf $(TOPDIR)$(DELIM)User.map
+.PHONY: nuttx_user.elf depend clean distclean
+
+$(COBJS): %$(OBJEXT): %.c
+	$(call COMPILE, $<, $@)
+
+# Create the nuttx_user.elf file containing all of the user-mode code
+
+nuttx_user.elf: $(OBJS)
+	$(Q) $(LD) -o $@ $(USER_LDFLAGS) $(USER_LIBPATHS) $(OBJS) --start-group $(USER_LDLIBS) --end-group $(USER_LIBGCC)
+
+$(TOPDIR)$(DELIM)nuttx_user.elf: nuttx_user.elf
+	@echo "LD: nuttx_user.elf"
+	$(Q) cp -a nuttx_user.elf $(TOPDIR)$(DELIM)nuttx_user.elf
+ifeq ($(CONFIG_INTELHEX_BINARY),y)
+	@echo "CP: nuttx_user.hex"
+	$(Q) $(OBJCOPY) $(OBJCOPYARGS) -O ihex nuttx_user.elf $(USER_HEXFILE)
+endif
+ifeq ($(CONFIG_MOTOROLA_SREC),y)
+	@echo "CP: nuttx_user.srec"
+	$(Q) $(OBJCOPY) $(OBJCOPYARGS) -O srec nuttx_user.elf $(USER_SRECFILE)
+endif
+ifeq ($(CONFIG_RAW_BINARY),y)
+	@echo "CP: nuttx_user.bin"
+	$(Q) $(OBJCOPY) $(OBJCOPYARGS) -O binary nuttx_user.elf $(USER_BINFILE)
+endif
+
+$(TOPDIR)$(DELIM)User.map: nuttx_user.elf
+	@echo "MK: User.map"
+	$(Q) $(NM) nuttx_user.elf >$(TOPDIR)$(DELIM)User.map
+	$(Q) $(CROSSDEV)size nuttx_user.elf
+
+.depend:
+
+depend: .depend
+
+clean:
+	$(call DELFILE, nuttx_user.elf)
+	$(call DELFILE, "$(TOPDIR)$(DELIM)nuttx_user.*")
+	$(call DELFILE, "$(TOPDIR)$(DELIM)User.map")
+	$(call CLEAN)
+
+distclean: clean
diff --git a/nuttx/configs/haltian-tsone/kernel/stm32_userspace.c b/nuttx/configs/haltian-tsone/kernel/stm32_userspace.c
new file mode 100644
index 0000000000000000000000000000000000000000..3b6108eededcfaba1c8521f15a4336785aa869ba
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/kernel/stm32_userspace.c
@@ -0,0 +1,143 @@
+/****************************************************************************
+ * configs/stm32f4discovery/kernel/stm32_userspace.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <stdlib.h>
+
+#include <nuttx/arch.h>
+#include <nuttx/mm/mm.h>
+#include <nuttx/wqueue.h>
+#include <nuttx/userspace.h>
+
+#if defined(CONFIG_BUILD_PROTECTED) && !defined(__KERNEL__)
+
+/****************************************************************************
+ * Pre-processor Definitions
+ ****************************************************************************/
+/* Configuration ************************************************************/
+
+#ifndef CONFIG_NUTTX_USERSPACE
+#  error "CONFIG_NUTTX_USERSPACE not defined"
+#endif
+
+#if CONFIG_NUTTX_USERSPACE != 0x08020000
+#  error "CONFIG_NUTTX_USERSPACE must be 0x08020000 to match memory.ld"
+#endif
+
+/****************************************************************************
+ * Public Data
+ ****************************************************************************/
+
+/* These 'addresses' of these values are setup by the linker script.  They are
+ * not actual uint32_t storage locations! They are only used meaningfully in the
+ * following way:
+ *
+ *  - The linker script defines, for example, the symbol_sdata.
+ *  - The declaration extern uint32_t _sdata; makes C happy.  C will believe
+ *    that the value _sdata is the address of a uint32_t variable _data (it is
+ *    not!).
+ *  - We can recoved the linker value then by simply taking the address of
+ *    of _data.  like:  uint32_t *pdata = &_sdata;
+ */
+
+extern uint32_t _stext;           /* Start of .text */
+extern uint32_t _etext;           /* End_1 of .text + .rodata */
+extern const uint32_t _eronly;    /* End+1 of read only section (.text + .rodata) */
+extern uint32_t _sdata;           /* Start of .data */
+extern uint32_t _edata;           /* End+1 of .data */
+extern uint32_t _sbss;            /* Start of .bss */
+extern uint32_t _ebss;            /* End+1 of .bss */
+
+/* This is the user space entry point */
+
+int CONFIG_USER_ENTRYPOINT(int argc, char *argv[]);
+
+const struct userspace_s userspace __attribute__ ((section (".userspace"))) =
+{
+  /* General memory map */
+
+  .us_entrypoint    = (main_t)CONFIG_USER_ENTRYPOINT,
+  .us_textstart     = (uintptr_t)&_stext,
+  .us_textend       = (uintptr_t)&_etext,
+  .us_datasource    = (uintptr_t)&_eronly,
+  .us_datastart     = (uintptr_t)&_sdata,
+  .us_dataend       = (uintptr_t)&_edata,
+  .us_bssstart      = (uintptr_t)&_sbss,
+  .us_bssend        = (uintptr_t)&_ebss,
+
+  /* Task/thread startup routines */
+
+  .task_startup     = task_startup,
+#ifndef CONFIG_DISABLE_PTHREAD
+  .pthread_startup  = pthread_startup,
+#endif
+
+  /* Signal handler trampoline */
+
+#ifndef CONFIG_DISABLE_SIGNALS
+  .signal_handler   = up_signal_handler,
+#endif
+
+  /* Memory manager entry points (declared in include/nuttx/mm/mm.h) */
+
+  .mm_initialize    = umm_initialize,
+  .mm_addregion     = umm_addregion,
+  .mm_trysemaphore  = umm_trysemaphore,
+  .mm_givesemaphore = umm_givesemaphore,
+
+  /* Memory manager entry points (declared in include/stdlib.h) */
+
+  .mm_malloc        = malloc,
+  .mm_realloc       = realloc,
+  .mm_zalloc        = zalloc,
+  .mm_free          = free,
+
+  /* User-space work queue support (declared in include/nuttx/wqueue.h) */
+
+#ifdef CONFIG_LIB_USRWORK
+  .work_usrstart    = work_usrstart,
+#endif
+};
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
+
+#endif /* CONFIG_BUILD_PROTECTED && !__KERNEL__ */
diff --git a/nuttx/configs/haltian-tsone/scripts/kernel-space.ld b/nuttx/configs/haltian-tsone/scripts/kernel-space.ld
new file mode 100755
index 0000000000000000000000000000000000000000..3feb651e6e6dd6bd16721519d4d65680d3697e13
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/scripts/kernel-space.ld
@@ -0,0 +1,109 @@
+/****************************************************************************
+ * configs/stm32f4discovery/scripts/kernel-space.ld
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/* NOTE:  This depends on the memory.ld script having been included prior to
+ * this script.
+ */
+
+OUTPUT_ARCH(arm)
+ENTRY(_stext)
+SECTIONS
+{
+    .text : {
+        _stext = ABSOLUTE(.);
+        *(.vectors)
+        *(.text .text.*)
+        *(.fixup)
+        *(.gnu.warning)
+        *(.rodata .rodata.*)
+        *(.gnu.linkonce.t.*)
+        *(.glue_7)
+        *(.glue_7t)
+        *(.got)
+        *(.gcc_except_table)
+        *(.gnu.linkonce.r.*)
+        _etext = ABSOLUTE(.);
+    } > kflash
+
+    .init_section : {
+        _sinit = ABSOLUTE(.);
+        *(.init_array .init_array.*)
+        _einit = ABSOLUTE(.);
+    } > kflash
+
+    .ARM.extab : {
+        *(.ARM.extab*)
+    } > kflash
+
+    __exidx_start = ABSOLUTE(.);
+    .ARM.exidx : {
+        *(.ARM.exidx*)
+    } > kflash
+
+    __exidx_end = ABSOLUTE(.);
+
+    _eronly = ABSOLUTE(.);
+
+    .data : {
+        _sdata = ABSOLUTE(.);
+        *(.data .data.*)
+        *(.gnu.linkonce.d.*)
+        CONSTRUCTORS
+        _edata = ABSOLUTE(.);
+    } > ksram AT > kflash
+
+    .bss : {
+        _sbss = ABSOLUTE(.);
+        *(.bss .bss.*)
+        *(.gnu.linkonce.b.*)
+        *(COMMON)
+        _ebss = ABSOLUTE(.);
+    } > ksram
+
+    /* Stabs debugging sections */
+
+    .stab 0 : { *(.stab) }
+    .stabstr 0 : { *(.stabstr) }
+    .stab.excl 0 : { *(.stab.excl) }
+    .stab.exclstr 0 : { *(.stab.exclstr) }
+    .stab.index 0 : { *(.stab.index) }
+    .stab.indexstr 0 : { *(.stab.indexstr) }
+    .comment 0 : { *(.comment) }
+    .debug_abbrev 0 : { *(.debug_abbrev) }
+    .debug_info 0 : { *(.debug_info) }
+    .debug_line 0 : { *(.debug_line) }
+    .debug_pubnames 0 : { *(.debug_pubnames) }
+    .debug_aranges 0 : { *(.debug_aranges) }
+}
diff --git a/nuttx/configs/haltian-tsone/scripts/stm32l162zd.ld b/nuttx/configs/haltian-tsone/scripts/ld.script
old mode 100644
new mode 100755
similarity index 82%
rename from nuttx/configs/haltian-tsone/scripts/stm32l162zd.ld
rename to nuttx/configs/haltian-tsone/scripts/ld.script
index 1e575a3a925016f1d7e3f91692f3d91698b61703..861b3533929ec26161fcf6f241711a0dfdd16bba
--- a/nuttx/configs/haltian-tsone/scripts/stm32l162zd.ld
+++ b/nuttx/configs/haltian-tsone/scripts/ld.script
@@ -1,7 +1,7 @@
 /****************************************************************************
- * configs/haltian-tsone/scripts/stm32l162zd.ld
+ * configs/mikroe-stm32f4/scripts/ld.script
  *
- *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Copyright (C) 2011-2013 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Redistribution and use in source and binary forms, with or without
@@ -33,33 +33,32 @@
  *
  ****************************************************************************/
 
-#include <nuttx/config.h>
-
-/* The STM32L162ZD has 384KB of FLASH beginning at address 0x0800:0000 and
- * 48Kb of SRAM at address 0x20000000.
+/* The STM32F407VG has 1024Kb of FLASH beginning at address 0x0800:0000 and
+ * 192Kb of SRAM. SRAM is split up into three blocks:
+ *
+ * 1) 112Kb of SRAM beginning at address 0x2000:0000
+ * 2)  16Kb of SRAM beginning at address 0x2001:c000
+ * 3)  64Kb of CCM SRAM beginning at address 0x1000:0000
  *
  * When booting from FLASH, FLASH memory is aliased to address 0x0000:0000
  * where the code expects to begin execution by jumping to the entry point in
- * the 0x0800:0000 address range.
+ * the 0x0800:0000 address
+ * range.
  */
 
 MEMORY
 {
-    flash (rx) : ORIGIN = CONFIG_NUTTX_DFU_IMAGE_FLASHING_ADDRESS, LENGTH = 384K
-    sram (rwx) : ORIGIN = 0x20000000, LENGTH = 48K
+    flash (rx) : ORIGIN = 0x08000000, LENGTH = 512K
+    sram (rwx) : ORIGIN = 0x20000000, LENGTH = 80K
 }
 
-_application_flash_size = _application_flash_end - _application_flash_start;
-
 OUTPUT_ARCH(arm)
 ENTRY(_stext)
 SECTIONS
 {
 	.text : {
-		_application_flash_start = ABSOLUTE(.);
 		_stext = ABSOLUTE(.);
 		*(.vectors)
-		KEEP(*(.application_flash_size .application_flash_size.*))
 		*(.text .text.*)
 		*(.fixup)
 		*(.gnu.warning)
@@ -99,10 +98,6 @@ SECTIONS
 		_edata = ABSOLUTE(.);
 	} > sram AT > flash
 
-	.app_end : {
-		_application_flash_end = ABSOLUTE(.);
-	} > flash
-
 	.bss : {
 		_sbss = ABSOLUTE(.);
 		*(.bss .bss.*)
diff --git a/nuttx/configs/haltian-tsone/scripts/memory.ld b/nuttx/configs/haltian-tsone/scripts/memory.ld
new file mode 100644
index 0000000000000000000000000000000000000000..b9e188455c83e5c291c95baea7ba756eec7d25de
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/scripts/memory.ld
@@ -0,0 +1,100 @@
+/****************************************************************************
+ * configs/stm32f4discovery/scripts/memory.ld
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/* The STM32F407VG has 1024Kb of FLASH beginning at address 0x0800:0000 and
+ * 192Kb of SRAM. SRAM is split up into three blocks:
+ *
+ * 1) 112KB of SRAM beginning at address 0x2000:0000
+ * 2)  16KB of SRAM beginning at address 0x2001:c000
+ * 3)  64KB of CCM SRAM beginning at address 0x1000:0000
+ *
+ * When booting from FLASH, FLASH memory is aliased to address 0x0000:0000
+ * where the code expects to begin execution by jumping to the entry point in
+ * the 0x0800:0000 address range.
+ *
+ * For MPU support, the kernel-mode NuttX section is assumed to be 128Kb of
+ * FLASH and 4Kb of SRAM.  That is an excessive amount for the kernel which
+ * should fit into 64KB and, of course, can be optimized as needed (See
+ * also configs/stm32f4discovery/scripts/kernel-space.ld).  Allowing the
+ * additional does permit addition debug instrumentation to be added to the
+ * kernel space without overflowing the partition.
+ *
+ * Alignment of the user space FLASH partition is also a critical factor:
+ * The user space FLASH partition will be spanned with a single region of
+ * size 2**n bytes.  The alignment of the user-space region must be the same.
+ * As a consequence, as the user-space increases in size, the alignmment
+ * requirement also increases.
+ *
+ * This alignment requirement means that the largest user space FLASH region
+ * you can have will be 512KB at it would have to be positioned at
+ * 0x08800000.  If you change this address, don't forget to change the
+ * CONFIG_NUTTX_USERSPACE configuration setting to match and to modify
+ * the check in kernel/userspace.c.
+ *
+ * For the same reasons, the maximum size of the SRAM mapping is limited to
+ * 4KB.  Both of these alignment limitations could be reduced by using
+ * multiple regions to map the FLASH/SDRAM range or perhaps with some
+ * clever use of subregions.
+ *
+ * A detailed memory map for the 112KB SRAM region is as follows:
+ *
+ *   0x20000 0000:  Kernel .data region.  Typical size: 0.1KB
+ *   ------- ----   Kernel .bss  region.  Typical size: 1.8KB
+ *   0x20000 0800:  Kernel IDLE thread stack (approximate).  Size is
+ *                  determined by CONFIG_IDLETHREAD_STACKSIZE and
+ *                  adjustments for alignment.  Typical is 1KB.
+ *   ------- ----   Padded to 4KB
+ *   0x20000 1000:  User .data region.  Size is variable.
+ *   ------- ----   User .bss region  Size is variable.
+ *   0x20000 2000:  Beginning of kernel heap.  Size determined by
+ *                  CONFIG_MM_KERNEL_HEAPSIZE.
+ *   ------- ----   Beginning of user heap.  Can vary with other settings.
+ *   0x20001 c000:  End+1 of CPU RAM
+ */
+
+MEMORY
+{
+    /* 1024Kb FLASH */
+
+    kflash (rx)      : ORIGIN = 0x08000000, LENGTH = 128K
+    uflash (rx)      : ORIGIN = 0x08020000, LENGTH = 128K
+    xflash (rx)      : ORIGIN = 0x08040000, LENGTH = 256K
+
+    /* 112Kb of contiguous SRAM */
+
+    ksram (rwx)      : ORIGIN = 0x20000000, LENGTH = 8K
+    usram (rwx)      : ORIGIN = 0x20002000, LENGTH = 4K
+    xsram (rwx)      : ORIGIN = 0x20003000, LENGTH = 72K
+}
diff --git a/nuttx/configs/haltian-tsone/scripts/stm32l162ve.ld b/nuttx/configs/haltian-tsone/scripts/stm32l162ve.ld_
similarity index 100%
rename from nuttx/configs/haltian-tsone/scripts/stm32l162ve.ld
rename to nuttx/configs/haltian-tsone/scripts/stm32l162ve.ld_
diff --git a/nuttx/configs/haltian-tsone/scripts/user-space.ld b/nuttx/configs/haltian-tsone/scripts/user-space.ld
new file mode 100644
index 0000000000000000000000000000000000000000..56d30a05f1ddf0eed3b8ef99849db6b59d240d6c
--- /dev/null
+++ b/nuttx/configs/haltian-tsone/scripts/user-space.ld
@@ -0,0 +1,126 @@
+/****************************************************************************
+ * configs/stm32f4discovery/scripts/user-space.ld
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/* NOTE:  This depends on the memory.ld script having been included prior to
+ * this script.
+ */
+
+/* Make sure that the critical memory management functions are in user-space.
+ * the user heap memory manager will reside in user-space but be usable both
+ * by kernel- and user-space code
+ */
+
+EXTERN(umm_initialize)
+EXTERN(umm_addregion)
+EXTERN(umm_trysemaphore)
+EXTERN(umm_givesemaphore)
+
+EXTERN(malloc)
+EXTERN(realloc)
+EXTERN(zalloc)
+EXTERN(free)
+
+OUTPUT_ARCH(arm)
+SECTIONS
+{
+    .userspace : {
+        *(.userspace)
+    } > uflash
+
+    .text : {
+        _stext = ABSOLUTE(.);
+        *(.text .text.*)
+        *(.fixup)
+        *(.gnu.warning)
+        *(.rodata .rodata.*)
+        *(.gnu.linkonce.t.*)
+        *(.glue_7)
+        *(.glue_7t)
+        *(.got)
+        *(.gcc_except_table)
+        *(.gnu.linkonce.r.*)
+        _etext = ABSOLUTE(.);
+    } > uflash
+
+    .init_section : {
+        _sinit = ABSOLUTE(.);
+        *(.init_array .init_array.*)
+        _einit = ABSOLUTE(.);
+    } > uflash
+
+    .ARM.extab : {
+        *(.ARM.extab*)
+    } > uflash
+
+    __exidx_start = ABSOLUTE(.);
+    .ARM.exidx : {
+        *(.ARM.exidx*)
+    } > uflash
+
+    __exidx_end = ABSOLUTE(.);
+
+    _eronly = ABSOLUTE(.);
+
+    .data : {
+        _sdata = ABSOLUTE(.);
+        *(.data .data.*)
+        *(.gnu.linkonce.d.*)
+        CONSTRUCTORS
+        _edata = ABSOLUTE(.);
+    } > usram AT > uflash
+
+    .bss : {
+        _sbss = ABSOLUTE(.);
+        *(.bss .bss.*)
+        *(.gnu.linkonce.b.*)
+        *(COMMON)
+        _ebss = ABSOLUTE(.);
+    } > usram
+
+    /* Stabs debugging sections */
+
+    .stab 0 : { *(.stab) }
+    .stabstr 0 : { *(.stabstr) }
+    .stab.excl 0 : { *(.stab.excl) }
+    .stab.exclstr 0 : { *(.stab.exclstr) }
+    .stab.index 0 : { *(.stab.index) }
+    .stab.indexstr 0 : { *(.stab.indexstr) }
+    .comment 0 : { *(.comment) }
+    .debug_abbrev 0 : { *(.debug_abbrev) }
+    .debug_info 0 : { *(.debug_info) }
+    .debug_line 0 : { *(.debug_line) }
+    .debug_pubnames 0 : { *(.debug_pubnames) }
+    .debug_aranges 0 : { *(.debug_aranges) }
+}
diff --git a/nuttx/include/errno.h b/nuttx/include/errno.h
index 08f76e4d321ce0e620e338688633c91dc084c7da..d6d4ec8e191ab6a12f04838f3f4aef774a18f103 100644
--- a/nuttx/include/errno.h
+++ b/nuttx/include/errno.h
@@ -1,4 +1,4 @@
-/************************************************************************
+/****************************************************************************
  * include/errno.h
  *
  *   Copyright (C) 2007-2009, 2011 Gregory Nutt. All rights reserved.
@@ -31,20 +31,20 @@
  * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  * POSSIBILITY OF SUCH DAMAGE.
  *
- ************************************************************************/
+ ****************************************************************************/
 
 #ifndef __INCLUDE_ERRNO_H
 #define __INCLUDE_ERRNO_H
 
-/************************************************************************
+/****************************************************************************
  * Included Files
- ************************************************************************/
+ ****************************************************************************/
 
 #include <nuttx/compiler.h>
 
-/************************************************************************
+/****************************************************************************
  * Pre-processor Definitions
- ************************************************************************/
+ ****************************************************************************/
 /* How can we access the errno variable? */
 
 #if !defined(CONFIG_BUILD_PROTECTED) && !defined(CONFIG_BUILD_KERNEL)
@@ -378,13 +378,13 @@
 #define ECANCELED           125
 #define ECANCELED_STR       "Operation cancelled"
 
-/************************************************************************
- * Type Declarations
- ************************************************************************/
+/****************************************************************************
+ * Public Type Definitions
+ ****************************************************************************/
 
-/************************************************************************
- * Global Function Prototypes
- ************************************************************************/
+/****************************************************************************
+ * Public Function Prototypes
+ ****************************************************************************/
 
 #undef EXTERN
 #if defined(__cplusplus)
diff --git a/nuttx/include/nuttx/compiler.h b/nuttx/include/nuttx/compiler.h
index 80b574236a721dbb3eb951cdb5dd43855f1b42af..d04f4d044badf5d58c587fa74e80b6a39786c718 100644
--- a/nuttx/include/nuttx/compiler.h
+++ b/nuttx/include/nuttx/compiler.h
@@ -87,7 +87,7 @@
 
 /* The noreturn attribute informs GCC that the function will not return. */
 
-# define noreturn_function __attribute__ ((noreturn))
+# define noreturn_function
 
 /* The farcall_function attribute informs GCC that is should use long calls
  * (even though -mlong-calls does not appear in the compilation options)
diff --git a/nuttx/libc/stdio/lib_libdtoa.c b/nuttx/libc/stdio/lib_libdtoa.c
index 0120bafd2d382e1da40251a184112f5fac427ecf..ed3c7d62b286a5e632849d1d781d324948bd1ec6 100644
--- a/nuttx/libc/stdio/lib_libdtoa.c
+++ b/nuttx/libc/stdio/lib_libdtoa.c
@@ -159,13 +159,13 @@ static void lib_dtoa(FAR struct lib_outstream_s *obj, int fmt, int prec,
 
   /* Special handling for NaN and Infinity */
 
-  if (isnan(value))
+  if (value!=value)
     {
       lib_dtoa_string(obj, "NaN");
       return;
     }
 
-  if (isinf(value))
+  if (value>1e10 || value < -1e10)
     {
       if (value < 0.0)
         {
diff --git a/nuttx/libc/stdio/lib_lowoutstream.c b/nuttx/libc/stdio/lib_lowoutstream.c
index f600bc614a0fda1c292189c70f7746de81aeb7a3..dfb40d4bc1b8e55d0377b2d475d6aae18f5c3b61 100644
--- a/nuttx/libc/stdio/lib_lowoutstream.c
+++ b/nuttx/libc/stdio/lib_lowoutstream.c
@@ -60,10 +60,7 @@ static void lowoutstream_putc(FAR struct lib_outstream_s *this, int ch)
 {
   DEBUGASSERT(this);
 
-  if (up_putc(ch) != EOF)
-    {
       this->nput++;
-    }
 }
 
 /****************************************************************************
diff --git a/nuttx/libc/syslog/lib_syslogstream.c b/nuttx/libc/syslog/lib_syslogstream.c
index b8e3f5d11f3f1e5cb50ac022c928deb078124926..90918c1981e9fd8515ee142526ea1c37e500d9e5 100644
--- a/nuttx/libc/syslog/lib_syslogstream.c
+++ b/nuttx/libc/syslog/lib_syslogstream.c
@@ -93,7 +93,7 @@ static void syslogstream_putc(FAR struct lib_outstream_s *this, int ch)
        * syslog_putc returns EOF with the errno value set;
        */
 
-      ret = syslog_putc(ch);
+      ret = 1; // syslog_putc(ch);
       if (ret != EOF)
         {
           this->nput++;