void platform_private_start_tasking(void);
platform_private_start_tasking starts the CTL timer to provide CTL time and services, and starts the idle task which has the body function platform_private_idle_task_main.