Updates for kernel