diff --git a/bsp/tm4c129x/.config b/bsp/tm4c129x/.config
index 65b5b05742d3a26547b924342cafe8049ba541e8..ec901ddbe1a7ad458e574c7cab39c1ea5d74b899 100644
--- a/bsp/tm4c129x/.config
+++ b/bsp/tm4c129x/.config
@@ -98,7 +98,7 @@ CONFIG_RT_USING_SERIAL=y
 #
 # POSIX layer and C standard library
 #
-# CONFIG_RT_USING_LIBC is not set
+CONFIG_RT_USING_LIBC=y
 # CONFIG_RT_USING_PTHREADS is not set
 
 #
diff --git a/bsp/tm4c129x/rtconfig.h b/bsp/tm4c129x/rtconfig.h
index d9e6e561c901169a0594b1bb6c78805cd8d0133b..ec559845e211d85d3261df1d7e0e5416df6c081a 100644
--- a/bsp/tm4c129x/rtconfig.h
+++ b/bsp/tm4c129x/rtconfig.h
@@ -89,7 +89,7 @@
 
 /* POSIX layer and C standard library */
 
-/* RT_USING_LIBC is not set */
+#define RT_USING_LIBC
 /* RT_USING_PTHREADS is not set */
 
 /* Network stack */
diff --git a/components/net/lwip-1.4.1/src/arch/include/arch/cc.h b/components/net/lwip-1.4.1/src/arch/include/arch/cc.h
index 3889ec9577848decaf44f9472ae181d8e89af314..e0ad8cf588ac533e379a2a16cd84db6cccf18ae2 100644
--- a/components/net/lwip-1.4.1/src/arch/include/arch/cc.h
+++ b/components/net/lwip-1.4.1/src/arch/include/arch/cc.h
@@ -38,13 +38,14 @@
 #include <rthw.h>
 #include <rtthread.h>
 
-typedef rt_uint8_t	u8_t;
-typedef rt_int8_t	s8_t;
-typedef rt_uint16_t	u16_t;
-typedef rt_int16_t	s16_t;
-typedef rt_uint32_t	u32_t;
-typedef rt_int32_t	s32_t;
-typedef rt_uint32_t	mem_ptr_t;
+#include <stdint.h>
+typedef uint8_t   u8_t;
+typedef int8_t    s8_t;
+typedef uint16_t  u16_t;
+typedef int16_t   s16_t;
+typedef uint32_t  u32_t;
+typedef int32_t   s32_t;
+typedef uintptr_t mem_ptr_t;
 
 #define U16_F "hu"
 #define S16_F "hd"
diff --git a/include/rtdef.h b/include/rtdef.h
index 0ff233063e671e52b55d0cc1bceff1810d33b3b8..5cb3687ce103586d473ebd4f3f5eb27ddcfe0e56 100644
--- a/include/rtdef.h
+++ b/include/rtdef.h
@@ -441,7 +441,7 @@ struct rt_timer
 };
 typedef struct rt_timer *rt_timer_t;
 
-/*@}*/
+/**@}*/
 
 /**
  * @addtogroup Signal