/** @file kernel.c *  @brief An initial kernel.c * *  This file contains the kernel's *  main() function. * *  You should add your own comments to *  replace this one. * *  This is where you will eventually setup *  your game board and have it run. * */#include <kernel_init.h>#include <console.h>#define NULL	0/** @brief Kernel entrypoint. *   *  This is the entrypoint for your kernel. *  Right now, it is a tight while loop. *  Place your game code here * * @return Should never return */int main(){    kernel_init();    while(1);    return 0;}void *GameProcess1(void *argv){	return NULL;}void *GameProcess2(void *argv){	return NULL;}void *GameProcess3(void *argv){	return NULL;}void *GameProcess4(void *argv){	return NULL;}