Adding some kernel things