RTX51 Tiny User's Guide said: "The os_switch_task function allows a task to halt execution and allow another task to run."
If I have 5 tasks on READY state, which task will be switched to run while calling os_switch_task() ?