#ifndef _KERNEL_SHELL_H
#define _KERNEL_SHELL_H

#include <types.h>

int kshell_start(int argc, char** argv);

#endif