add kernel.h
The kernel requires header files and global variables
To use kernel.h