#include "print.h"

int main(void)
{
    put_str("I am kernel\n");
    while (1)
        ;
    return 0;
}