// // Created by longjin on 2022/1/20. // #include "common/glib.h" #include "common/kprint.h" #include "common/printk.h" #include "exception/gate.h" #include "exception/irq.h" #include "exception/trap.h" #include "mm/mm.h" #include "mm/slab.h" #include "process/process.h" #include "smp/smp.h" #include "syscall/syscall.h" #include #include #include #include #include #include #include "driver/acpi/acpi.h" #include "driver/disk/ahci/ahci.h" #include "driver/disk/ata.h" #include "driver/keyboard/ps2_keyboard.h" #include "driver/mouse/ps2_mouse.h" #include "driver/multiboot2/multiboot2.h" #include "driver/pci/pci.h" #include #include #include #include