You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
370 lines
8.1 KiB
370 lines
8.1 KiB
|
|
# To compile and run with a lab solution, set the lab name in conf/lab.mk |
|
# (e.g., LAB=util). Run make grade to test solution with the lab's |
|
# grade script (e.g., grade-lab-util). |
|
|
|
-include conf/lab.mk |
|
|
|
K=kernel |
|
U=user |
|
|
|
OBJS = \ |
|
$K/entry.o \ |
|
$K/kalloc.o \ |
|
$K/string.o \ |
|
$K/main.o \ |
|
$K/vm.o \ |
|
$K/proc.o \ |
|
$K/swtch.o \ |
|
$K/trampoline.o \ |
|
$K/trap.o \ |
|
$K/syscall.o \ |
|
$K/sysproc.o \ |
|
$K/bio.o \ |
|
$K/fs.o \ |
|
$K/log.o \ |
|
$K/sleeplock.o \ |
|
$K/file.o \ |
|
$K/pipe.o \ |
|
$K/exec.o \ |
|
$K/sysfile.o \ |
|
$K/kernelvec.o \ |
|
$K/plic.o \ |
|
$K/virtio_disk.o |
|
|
|
OBJS_KCSAN = \ |
|
$K/start.o \ |
|
$K/console.o \ |
|
$K/printf.o \ |
|
$K/uart.o \ |
|
$K/spinlock.o |
|
|
|
ifdef KCSAN |
|
OBJS_KCSAN += \ |
|
$K/kcsan.o |
|
endif |
|
|
|
ifeq ($(LAB),$(filter $(LAB), lock)) |
|
OBJS += \ |
|
$K/stats.o\ |
|
$K/sprintf.o |
|
endif |
|
|
|
|
|
ifeq ($(LAB),net) |
|
OBJS += \ |
|
$K/e1000.o \ |
|
$K/net.o \ |
|
$K/sysnet.o \ |
|
$K/pci.o |
|
endif |
|
|
|
|
|
# riscv64-unknown-elf- or riscv64-linux-gnu- |
|
# perhaps in /opt/riscv/bin |
|
#TOOLPREFIX = |
|
|
|
# Try to infer the correct TOOLPREFIX if not set |
|
ifndef TOOLPREFIX |
|
TOOLPREFIX := $(shell if riscv64-unknown-elf-objdump -i 2>&1 | grep 'elf64-big' >/dev/null 2>&1; \ |
|
then echo 'riscv64-unknown-elf-'; \ |
|
elif riscv64-linux-gnu-objdump -i 2>&1 | grep 'elf64-big' >/dev/null 2>&1; \ |
|
then echo 'riscv64-linux-gnu-'; \ |
|
elif riscv64-unknown-linux-gnu-objdump -i 2>&1 | grep 'elf64-big' >/dev/null 2>&1; \ |
|
then echo 'riscv64-unknown-linux-gnu-'; \ |
|
else echo "***" 1>&2; \ |
|
echo "*** Error: Couldn't find a riscv64 version of GCC/binutils." 1>&2; \ |
|
echo "*** To turn off this error, run 'gmake TOOLPREFIX= ...'." 1>&2; \ |
|
echo "***" 1>&2; exit 1; fi) |
|
endif |
|
|
|
QEMU = qemu-system-riscv64 |
|
|
|
CC = $(TOOLPREFIX)gcc |
|
AS = $(TOOLPREFIX)gas |
|
LD = $(TOOLPREFIX)ld |
|
OBJCOPY = $(TOOLPREFIX)objcopy |
|
OBJDUMP = $(TOOLPREFIX)objdump |
|
|
|
CFLAGS = -Wall -Werror -O -fno-omit-frame-pointer -ggdb -gdwarf-2 |
|
|
|
ifdef LAB |
|
LABUPPER = $(shell echo $(LAB) | tr a-z A-Z) |
|
XCFLAGS += -DSOL_$(LABUPPER) -DLAB_$(LABUPPER) |
|
endif |
|
|
|
CFLAGS += $(XCFLAGS) |
|
CFLAGS += -MD |
|
CFLAGS += -mcmodel=medany |
|
CFLAGS += -ffreestanding -fno-common -nostdlib -mno-relax |
|
CFLAGS += -I. |
|
CFLAGS += $(shell $(CC) -fno-stack-protector -E -x c /dev/null >/dev/null 2>&1 && echo -fno-stack-protector) |
|
|
|
ifeq ($(LAB),net) |
|
CFLAGS += -DNET_TESTS_PORT=$(SERVERPORT) |
|
endif |
|
|
|
ifdef KCSAN |
|
CFLAGS += -DKCSAN |
|
KCSANFLAG = -fsanitize=thread -fno-inline |
|
endif |
|
|
|
# Disable PIE when possible (for Ubuntu 16.10 toolchain) |
|
ifneq ($(shell $(CC) -dumpspecs 2>/dev/null | grep -e '[^f]no-pie'),) |
|
CFLAGS += -fno-pie -no-pie |
|
endif |
|
ifneq ($(shell $(CC) -dumpspecs 2>/dev/null | grep -e '[^f]nopie'),) |
|
CFLAGS += -fno-pie -nopie |
|
endif |
|
|
|
LDFLAGS = -z max-page-size=4096 |
|
|
|
$K/kernel: $(OBJS) $(OBJS_KCSAN) $K/kernel.ld $U/initcode |
|
$(LD) $(LDFLAGS) -T $K/kernel.ld -o $K/kernel $(OBJS) $(OBJS_KCSAN) |
|
$(OBJDUMP) -S $K/kernel > $K/kernel.asm |
|
$(OBJDUMP) -t $K/kernel | sed '1,/SYMBOL TABLE/d; s/ .* / /; /^$$/d' > $K/kernel.sym |
|
|
|
$(OBJS): EXTRAFLAG := $(KCSANFLAG) |
|
|
|
$K/%.o: $K/%.c |
|
$(CC) $(CFLAGS) $(EXTRAFLAG) -c -o $@ $< |
|
|
|
|
|
$U/initcode: $U/initcode.S |
|
$(CC) $(CFLAGS) -march=rv64g -nostdinc -I. -Ikernel -c $U/initcode.S -o $U/initcode.o |
|
$(LD) $(LDFLAGS) -N -e start -Ttext 0 -o $U/initcode.out $U/initcode.o |
|
$(OBJCOPY) -S -O binary $U/initcode.out $U/initcode |
|
$(OBJDUMP) -S $U/initcode.o > $U/initcode.asm |
|
|
|
tags: $(OBJS) _init |
|
etags *.S *.c |
|
|
|
ULIB = $U/ulib.o $U/usys.o $U/printf.o $U/umalloc.o |
|
|
|
ifeq ($(LAB),$(filter $(LAB), lock)) |
|
ULIB += $U/statistics.o |
|
endif |
|
|
|
_%: %.o $(ULIB) |
|
$(LD) $(LDFLAGS) -T $U/user.ld -o $@ $^ |
|
$(OBJDUMP) -S $@ > $*.asm |
|
$(OBJDUMP) -t $@ | sed '1,/SYMBOL TABLE/d; s/ .* / /; /^$$/d' > $*.sym |
|
|
|
$U/usys.S : $U/usys.pl |
|
perl $U/usys.pl > $U/usys.S |
|
|
|
$U/usys.o : $U/usys.S |
|
$(CC) $(CFLAGS) -c -o $U/usys.o $U/usys.S |
|
|
|
$U/_forktest: $U/forktest.o $(ULIB) |
|
# forktest has less library code linked in - needs to be small |
|
# in order to be able to max out the proc table. |
|
$(LD) $(LDFLAGS) -N -e main -Ttext 0 -o $U/_forktest $U/forktest.o $U/ulib.o $U/usys.o |
|
$(OBJDUMP) -S $U/_forktest > $U/forktest.asm |
|
|
|
mkfs/mkfs: mkfs/mkfs.c $K/fs.h $K/param.h |
|
gcc $(XCFLAGS) -Werror -Wall -I. -o mkfs/mkfs mkfs/mkfs.c |
|
|
|
# Prevent deletion of intermediate files, e.g. cat.o, after first build, so |
|
# that disk image changes after first build are persistent until clean. More |
|
# details: |
|
# http://www.gnu.org/software/make/manual/html_node/Chained-Rules.html |
|
.PRECIOUS: %.o |
|
|
|
UPROGS=\ |
|
$U/_cat\ |
|
$U/_echo\ |
|
$U/_forktest\ |
|
$U/_grep\ |
|
$U/_init\ |
|
$U/_kill\ |
|
$U/_ln\ |
|
$U/_ls\ |
|
$U/_mkdir\ |
|
$U/_rm\ |
|
$U/_sh\ |
|
$U/_stressfs\ |
|
$U/_usertests\ |
|
$U/_grind\ |
|
$U/_wc\ |
|
$U/_zombie\ |
|
|
|
|
|
|
|
|
|
ifeq ($(LAB),$(filter $(LAB), lock)) |
|
UPROGS += \ |
|
$U/_stats |
|
endif |
|
|
|
ifeq ($(LAB),traps) |
|
UPROGS += \ |
|
$U/_call\ |
|
$U/_bttest |
|
endif |
|
|
|
ifeq ($(LAB),lazy) |
|
UPROGS += \ |
|
$U/_lazytests |
|
endif |
|
|
|
ifeq ($(LAB),cow) |
|
UPROGS += \ |
|
$U/_cowtest |
|
endif |
|
|
|
ifeq ($(LAB),thread) |
|
UPROGS += \ |
|
$U/_uthread |
|
|
|
$U/uthread_switch.o : $U/uthread_switch.S |
|
$(CC) $(CFLAGS) -c -o $U/uthread_switch.o $U/uthread_switch.S |
|
|
|
$U/_uthread: $U/uthread.o $U/uthread_switch.o $(ULIB) |
|
$(LD) $(LDFLAGS) -N -e main -Ttext 0 -o $U/_uthread $U/uthread.o $U/uthread_switch.o $(ULIB) |
|
$(OBJDUMP) -S $U/_uthread > $U/uthread.asm |
|
|
|
ph: notxv6/ph.c |
|
gcc -o ph -g -O2 $(XCFLAGS) notxv6/ph.c -pthread |
|
|
|
barrier: notxv6/barrier.c |
|
gcc -o barrier -g -O2 $(XCFLAGS) notxv6/barrier.c -pthread |
|
endif |
|
|
|
ifeq ($(LAB),pgtbl) |
|
UPROGS += \ |
|
$U/_pgtbltest |
|
endif |
|
|
|
ifeq ($(LAB),lock) |
|
UPROGS += \ |
|
$U/_kalloctest\ |
|
$U/_bcachetest |
|
endif |
|
|
|
ifeq ($(LAB),fs) |
|
UPROGS += \ |
|
$U/_bigfile |
|
endif |
|
|
|
|
|
|
|
ifeq ($(LAB),net) |
|
UPROGS += \ |
|
$U/_nettests |
|
endif |
|
|
|
UEXTRA= |
|
ifeq ($(LAB),util) |
|
UEXTRA += user/xargstest.sh |
|
endif |
|
|
|
|
|
fs.img: mkfs/mkfs README $(UEXTRA) $(UPROGS) |
|
mkfs/mkfs fs.img README $(UEXTRA) $(UPROGS) |
|
|
|
-include kernel/*.d user/*.d |
|
|
|
clean: |
|
rm -f *.tex *.dvi *.idx *.aux *.log *.ind *.ilg \ |
|
*/*.o */*.d */*.asm */*.sym \ |
|
$U/initcode $U/initcode.out $K/kernel fs.img \ |
|
mkfs/mkfs .gdbinit \ |
|
$U/usys.S \ |
|
$(UPROGS) \ |
|
*.zip \ |
|
ph barrier |
|
|
|
# try to generate a unique GDB port |
|
GDBPORT = $(shell expr `id -u` % 5000 + 25000) |
|
# QEMU's gdb stub command line changed in 0.11 |
|
QEMUGDB = $(shell if $(QEMU) -help | grep -q '^-gdb'; \ |
|
then echo "-gdb tcp::$(GDBPORT)"; \ |
|
else echo "-s -p $(GDBPORT)"; fi) |
|
ifndef CPUS |
|
CPUS := 3 |
|
endif |
|
ifeq ($(LAB),fs) |
|
CPUS := 1 |
|
endif |
|
|
|
FWDPORT = $(shell expr `id -u` % 5000 + 25999) |
|
|
|
QEMUOPTS = -machine virt -bios none -kernel $K/kernel -m 128M -smp $(CPUS) -nographic |
|
QEMUOPTS += -global virtio-mmio.force-legacy=false |
|
QEMUOPTS += -drive file=fs.img,if=none,format=raw,id=x0 |
|
QEMUOPTS += -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0 |
|
|
|
ifeq ($(LAB),net) |
|
QEMUOPTS += -netdev user,id=net0,hostfwd=udp::$(FWDPORT)-:2000 -object filter-dump,id=net0,netdev=net0,file=packets.pcap |
|
QEMUOPTS += -device e1000,netdev=net0,bus=pcie.0 |
|
endif |
|
|
|
qemu: $K/kernel fs.img |
|
$(QEMU) $(QEMUOPTS) |
|
|
|
.gdbinit: .gdbinit.tmpl-riscv |
|
sed "s/:1234/:$(GDBPORT)/" < $^ > $@ |
|
|
|
qemu-gdb: $K/kernel .gdbinit fs.img |
|
@echo "*** Now run 'gdb' in another window." 1>&2 |
|
$(QEMU) $(QEMUOPTS) -S $(QEMUGDB) |
|
|
|
ifeq ($(LAB),net) |
|
# try to generate a unique port for the echo server |
|
SERVERPORT = $(shell expr `id -u` % 5000 + 25099) |
|
|
|
server: |
|
python3 server.py $(SERVERPORT) |
|
|
|
ping: |
|
python3 ping.py $(FWDPORT) |
|
endif |
|
|
|
## |
|
## FOR testing lab grading script |
|
## |
|
|
|
ifneq ($(V),@) |
|
GRADEFLAGS += -v |
|
endif |
|
|
|
print-gdbport: |
|
@echo $(GDBPORT) |
|
|
|
grade: |
|
@echo $(MAKE) clean |
|
@$(MAKE) clean || \ |
|
(echo "'make clean' failed. HINT: Do you have another running instance of xv6?" && exit 1) |
|
./grade-lab-$(LAB) $(GRADEFLAGS) |
|
|
|
## |
|
## FOR submissions |
|
## |
|
|
|
submit-check: |
|
@if ! test -d .git; then \ |
|
echo No .git directory, is this a git repository?; \ |
|
false; \ |
|
fi |
|
@if test "$$(git symbolic-ref HEAD)" != refs/heads/$(LAB); then \ |
|
git branch; \ |
|
read -p "You are not on the $(LAB) branch. Hand-in the current branch? [y/N] " r; \ |
|
test "$$r" = y; \ |
|
fi |
|
@if ! git diff-files --quiet || ! git diff-index --quiet --cached HEAD; then \ |
|
git status -s; \ |
|
echo; \ |
|
echo "You have uncomitted changes. Please commit or stash them."; \ |
|
false; \ |
|
fi |
|
@if test -n "`git status -s`"; then \ |
|
git status -s; \ |
|
read -p "Untracked files will not be handed in. Continue? [y/N] " r; \ |
|
test "$$r" = y; \ |
|
fi |
|
|
|
zipball: clean submit-check |
|
git archive --verbose --format zip --output lab.zip HEAD |
|
|
|
.PHONY: zipball clean grade submit-check
|
|
|