#include "init.h"
#include "../lib/kernel/print.h"
#include "interrupt.h"
#include "../device/timer.h"
#include "../device/console.h"
#include "../device/keyboard.h"
#include "memory.h"
#include "../thread/thread.h"
#include "../userprog/tss.h"
#include "../userprog/syscall-init.h"

void init_all(void)
{
    put_str("init_all\n");
    idt_init();      // 初始化中断
    mem_init();      // 初始化内存管理系统
    thread_init();   // 初始化线程管理系统
    timer_init();    // 初始化定时器
    console_init();  // 初始化 console
    keyboard_init(); // 键盘初始化
    tss_init();      // tss_init
    syscall_init();  // syscall_init
}