/** Object pointer for the kernel code */
ObjectFile *kernel;
+ /** Additional object files */
+ std::vector<ObjectFile *> kernelExtras;
+
/** Beginning of kernel code */
Addr kernelStart;
return kvmVM;
}
+ /** Verify gem5 configuration will support KVM emulation */
+ bool validKvmEnvironment() const;
+
/** Get a pointer to access the physical memory of the system */
PhysicalMemory& getPhysMem() { return physmem; }