Added new kernel procedures