X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Farch%2Fx86_64%2Fkernel%2FMakefile;h=0956d06eef17aaed0218689d6cb5edaf9b2d7672;hb=160530e310bb5ea55b2a248e23ff38abf7bb5f47;hp=f5cd09be3f4c39df59c796aaabcc8a04eb66c1ae;hpb=6299cb929a586fd8debcc316c1ede714d5b95979;p=palacios.git

diff --git a/kitten/arch/x86_64/kernel/Makefile b/kitten/arch/x86_64/kernel/Makefile
index f5cd09b..0956d06 100644
--- a/kitten/arch/x86_64/kernel/Makefile
+++ b/kitten/arch/x86_64/kernel/Makefile
@@ -7,3 +7,6 @@ obj-y		:= percpu.o setup.o e820.o cpuinfo.o resource.o \
 		   task.o sched.o
 
 obj-$(CONFIG_CRAY_XT) += rca/
+obj-$(CONFIG_V3VEE) += bios.o
+
+