diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3343bbd --- /dev/null +++ b/Makefile @@ -0,0 +1,25 @@ +KERNEL_SOURCE ?= /usr/src/linux +PWD := $(shell pwd) + +.PHONY: all reset prepare build + +all: reset prepare build + +reset: + git -C $(KERNEL_SOURCE) reset --hard + $(MAKE) -C $(KERNEL_SOURCE) SUBDIRS=arch/x86/kvm clean + +prepare: + git -C $(KERNEL_SOURCE) apply $(PWD)/patch.diff + +$(KERNEL_SOURCE)/arch/x86/kvm/svm/cachepc: + ln -s $(PWD)/src $@ + +build: $(KERNEL_SOURCE)/arch/x86/kvm/svm/cachepc + $(MAKE) -C $(KERNEL_SOURCE) arch/x86/kvm/kvm.ko arch/x86/kvm/kvm-amd.ko + +load: + sudo rmmod kvm_amd || true + sudo rmmod kvm || true + sudo insmod $(KERNEL_SOURCE)/arch/x86/kvm/kvm.ko + sudo insmod $(KERNEL_SOURCE)/arch/x86/kvm/kvm-amd.ko |