#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);
}
-#ifdef CONFIG_V3VEE
- /*
- * Start up the V3Vee subsystem
- */
- Init_V3( 0, 0 );
-#else
+ {
+ 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...
*/
printk(KERN_INFO "Loading initial user-level task (init_task)...\n");
if ((status = create_init_task()) != 0)
panic("Failed to create init_task (status=%d).", status);
-#endif
schedule(); /* This should not return */
BUG();