This is the source code of kernel for warrior