./.gdbinit
./inc/string.h
./inc/stdio.h
./inc/mmu.h
./inc/COPYRIGHT
./inc/malloc.h
./inc/x86.h
./inc/assert.h
./inc/stab.h
./inc/error.h
./inc/elf.h
./inc/stdarg.h
./inc/types.h
./inc/memlayout.h
./inc/kbdreg.h
./inc/queue.h
./CODING
./grade-functions.sh
./kern/console.h
./kern/COPYRIGHT
./kern/init.c
./kern/kdebug.h
./kern/kernel.ld
./kern/monitor.h
./kern/kdebug.c
./kern/printf.c
./kern/console.c
./kern/Makefrag
./kern/monitor.c
./kern/entry.S
./.gitignore
./boot/main.c
./boot/Makefrag
./boot/sign.pl
./boot/boot.S
./GNUmakefile
./a.txt
./conf/lab.mk
./conf/env.mk
./mergedep.pl
./user/testpmap.c
./user/user.ld
./grade-lab1.sh
./lib/printfmt.c
./lib/readline.c
./lib/string.c
./.gdbinit.tmpl