Updates to kernel