HelloX operating system's kernel