Add scheduler, timer, generic_timer