diff options
Diffstat (limited to 'Makefile')
| -rwxr-xr-x | Makefile | 15 |
1 files changed, 4 insertions, 11 deletions
@@ -1,24 +1,15 @@ KERNEL_SOURCE ?= /usr/src/linux PWD := $(shell pwd) -.PHONY: all reset clean prepare build - -all: reset clean prepare build test/eviction test/access test/kvm test/sev test/sev-es +all: build test/eviction test/access test/kvm test/sev test/sev-es clean: $(MAKE) -C $(KERNEL_SOURCE) SUBDIRS=arch/x86/kvm clean -reset: - git -C $(KERNEL_SOURCE) reset --hard - $(KERNEL_SOURCE)/arch/x86/kvm/svm/cachepc: ln -sf $(PWD)/kmod $@ -prepare: $(KERNEL_SOURCE)/arch/x86/kvm/svm/cachepc - git -C $(KERNEL_SOURCE) apply $(PWD)/patch.diff - build: - #$(MAKE) -C $(KERNEL_SOURCE) arch/x86/kvm/kvm.ko arch/x86/kvm/kvm-amd.ko $(MAKE) -C $(KERNEL_SOURCE) -j6 M=arch/x86/kvm load: @@ -32,4 +23,6 @@ test/%: test/%.c kmod/cachepc_user.h clang -fsanitize=address -o $@ $< -I kmod -Wunused-variable update: - git -C $(KERNEL_SOURCE) diff > patch.diff + git -C $(KERNEL_SOURCE) diff 0aaa1e599bee256b3b15643bbb95e80ce7aa9be5 -G. > patch.diff + +.PHONY: all clean build load update |