Makefile

kernel/fs/bio.c

kernel/fs/fat32/fat32.c

kernel/hal/virtio_disk.c

kernel/mm/kmalloc.c

kernel/mm/vm.c

kernel/proc.c

kernel/syscall.c

kernel/sysfile.c