Scheduler interface defined. Renamed: printf -> kprintf, putchar -> kputchar