a bugfix for mail queue and printf clipping switch

1. add TOS_CFG_LIBC_PRINTF_EN
1: enable printf to implement tos_kprintf
when you call tos_kprintf(actually currently it's a MACRO rather than a function) , the libc will be invloved into the image, most of the time it means a larger image size.

0: disable printf, means tos_kprintf is defined as an empty MACRO
most of the time, means you will not get a log output from the uart(currently we donnot have a console yet) but a smaller image size.

2. fix a bug of tos_mail_q and tos_priority_mail_q
if we are post-ing a mail and there is[are] task[s] just pend-ing for the mail queue, the mail delivered to the pend-er will be a pointer, and probably it's a pointer to the local variable on the stack. Actually we should do a memcpy rather than a pointer assignment. for more details, see the patch.

board/ALIENTEK_Apollo_STM32F767/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,8 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    
-    return 0;
 #endif
+
+    return 0;
 }
 

board/ALIENTEK_STM32F429/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,7 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    return 0;
 #endif
+
+    return 0;
 }
 

board/BearPi_STM32L431RC/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,7 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    return 0;
 #endif
+
+    return 0;
 }
 

board/TOS_tiny_EVK_STM32L431CBT6/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,7 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    return 0;
 #endif
+
+    return 0;
 }
 

board/TencentOS_tiny_EVB_MX/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,7 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    return 0;
 #endif
+
+    return 0;
 }
 

board/TencentOS_tiny_EVB_MX_Plus/BSP/Src/tickless/bsp_pwr_mgr.c

@@ -19,7 +19,8 @@ int tos_bsp_tickless_setup(void)
     tos_tickless_wkup_alarm_init(TOS_LOW_POWER_MODE_STANDBY);
 
     tos_pm_cpu_lpwr_mode_set(TOS_LOW_POWER_MODE_SLEEP);
-    return 0;
 #endif
+
+    return 0;
 }