adding 8k kernel_lib