Added a tiny kernel for microcontrollers

This is a task scheduler for microntroller, does not depend on the
hardware.