Edit: kernel.h