added Kernel1:Procs: to kmain