Some more work is needed. For the moment we use minifapi.c
as implementation of scheduler. In the future we will link
with some externally provided scheduler.