added kernel_space