Makefile

kernel/console.o

kernel/exec.o

kernel/fat32.o

kernel/file.o

kernel/include/proc.h

kernel/include/sysnum.h

kernel/include/timer.h

kernel/include/types.h

kernel/intr.o

kernel/main.o

kernel/pipe.o

kernel/plic.o

kernel/proc.o

kernel/sleeplock.o

kernel/spinlock.o

kernel/syscall.c

kernel/syscall.d

kernel/syscall.o

kernel/sysfile.o