|
@@ -74,8 +74,6 @@ void led_flash()
|
|
*/
|
|
*/
|
|
void rtthread_startup(void)
|
|
void rtthread_startup(void)
|
|
{
|
|
{
|
|
- RT_DEBUG_REENT_IN
|
|
|
|
-
|
|
|
|
/* init hardware interrupt */
|
|
/* init hardware interrupt */
|
|
rt_hw_interrupt_init();
|
|
rt_hw_interrupt_init();
|
|
|
|
|
|
@@ -135,8 +133,6 @@ void rtthread_startup(void)
|
|
/* init idle thread */
|
|
/* init idle thread */
|
|
rt_thread_idle_init();
|
|
rt_thread_idle_init();
|
|
|
|
|
|
- RT_DEBUG_REENT_OUT
|
|
|
|
-
|
|
|
|
/* start scheduler */
|
|
/* start scheduler */
|
|
rt_system_scheduler_start();
|
|
rt_system_scheduler_start();
|
|
|
|
|