void kernel_init()
{

}