/* Copyright 2015 Google Inc.
 * 
 * See LICENSE for details.
 */

/* We're not going to falll into the trap of only compiling support
 * for AMD OR Intel for an image. It all gets compiled in, and which
 * one you use depends on on cpuinfo, not a compile-time
 * switch. That's proven to be the best strategy.  Conditionally
 * compiling in support is the path to hell.
 */
#include <assert.h>
#include <pmap.h>

// NO . FILES HERE INCLUDE .h
// That forces us to make the includes visible.
#include "intel/vmx_cpufunc.h"
#include "intel/vmcs.h"
#include "intel/vmx.h"
#include "x86.h"
#include "vmm.h"
#include "func.h"

/* this will be the init function for vmm. For now, it just ensures we
   don't break things. */