# Use LWKINCLUDE when you must reference the include/ directory.
# Needed to be compatible with the O= option
LWKINCLUDE := -Iinclude \
+ -I../palacios/include \
$(if $(KBUILD_SRC),-Iinclude2 -I$(srctree)/include) \
-include include/lwk/autoconf.h
libs-y2 := $(patsubst %/, %/built-in.o, $(libs-y))
libs-y := $(libs-y1) $(libs-y2)
-libs-$(CONFIG_V3VEE) += ../palacios/build/libv3vee.a
-libs-$(CONFIG_V3VEE) += ../palacios/lib/xed/libxed32e.a
-libs-$(CONFIG_V3VEE) += ../palacios/lib/xed/libxed.a
+libs-$(CONFIG_V3VEE) += palacios/libv3vee.a
+libs-$(CONFIG_V3VEE) += palacios/libxed32e.a
# Build vmlwk
# ---------------------------------------------------------------------------
#include <lwk/sched.h>
#include <lwk/timer.h>
+#include <palacios/vmm.h>
+
/**
* Pristine copy of the LWK boot command line.
*/
panic("Failed to boot CPU %d.\n", cpu);
}
+ {
+ struct v3_os_hooks os_hooks;
+ struct v3_ctrl_ops v3_ops;
+ struct guest_info * vm_info = 0;
+ struct v3_vm_config vm_config;
+
+ memset(&os_hooks, 0, sizeof(struct v3_os_hooks));
+ memset(&v3_ops, 0, sizeof(struct v3_ctrl_ops));
+ memset(&vm_config, 0, sizeof(struct v3_vm_config));
+
+ Init_V3(&os_hooks, &v3_ops);
+ }
+
/*
* Start up user-space...
*/