os_kernel/kernel/init.c

#include "init.h"
#include "../lib/kernel/print.h"
#include "interrupt.h"
#include "../device/timer.h"

void init_all(void)
{
    put_str("init_all\n");
    itd_init();   // 初始化中断
    timer_init(); // 初始化定时器
}