X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2FMakefile;h=63a822bea06d970f59863acb35535a46fc3faf2c;hb=ed58e44a111e3bb28e1b2fefd93fe7955962d682;hp=4c5573884043425e53b51186809b72b351b38ee8;hpb=d12cdf5b213b2b51d525914a852ceacd2c198b5a;p=palacios.git diff --git a/palacios/src/palacios/Makefile b/palacios/src/palacios/Makefile index 4c55738..63a822b 100644 --- a/palacios/src/palacios/Makefile +++ b/palacios/src/palacios/Makefile @@ -33,9 +33,9 @@ obj-y := \ vmm_xml.o \ vmm_mem_hook.o \ vmm_extensions.o \ - vmm_mtrr.o \ vmm_multitree.o \ - + vmm_bitmap.o \ + vmm_barrier.o \