#include "../lib/kernel/print.h"
#include "debug.h"
#include "init.h"
#include "memory.h"

int main(void)
{
    put_str("I am kernel\n");
    init_all();
    // asm volatile("sti"); // 使能中断
    // ASSERT(1 == 2);

    void *addr = get_kernel_pages(4);
    put_str("\n  get_kernel_page start vaddr is ");
    put_int((uintptr_t)addr);
    put_str("\n");

    while (1)
        ;
    return 0;
}