embedded system micro task scheduler