diff --git a/Makefile b/Makefile index 528dd6c795c1d7ba33856f6c8138c4c6ad91d4e7..32b474f88414049913379b2c8ec788d889dc2f16 100644 --- a/Makefile +++ b/Makefile @@ -15,16 +15,27 @@ help: run_pv: guest_pv vmm ./vmm/vmm guest/guest.bin -run_pv: guest_pv vmm +run_phys: guest_phys vmm ./vmm/vmm guest/guest.bin -vmm: - $(MAKE) -C vmm OUT=vmm + +guest_pv: + $(MAKE) -C guest PV=1 OUT=guest.bin guest_phys: $(MAKE) -C guest PV=0 OUT=guest.bin -guest_pv: - $(MAKE) -C guest PV=1 OUT=guest.bin +vmm: + $(MAKE) -C vmm OUT=vmm + + +clean: clean_vmm clean_guest + +clean_vmm: + $(MAKE) -C vmm clean OUT=vmm + +clean_guest: + $(MAKE) -C guest clean + -.PHONY: guest +.PHONY: clean clean_vmm clean_guest vmm diff --git a/vmm/Makefile b/vmm/Makefile index 3dd56c37c51cc53bb8e7f8f71122fe6b66b11006..64c86d3bf22acf12fddeb5508d517df86be5c4b5 100644 --- a/vmm/Makefile +++ b/vmm/Makefile @@ -1,4 +1,4 @@ -CC=gcc -std=gnu17 $(BAREMETAL_FLAGS) -Wall -Wextra -MMD -Ishared -I../.. -I.. +CC=gcc -std=gnu17 -Wall -Wextra -MMD -Ishared -I../.. -I.. C_SRCS=$(shell find . -name "*.c") C_OBJS=$(C_SRCS:.c=.o)