#define KERNEL_SERVER 1 #include