Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


HVM enhancements
[palacios.git] / palacios / include / palacios / vmm_hvm.h
index 6d145c2..7a1dceb 100644 (file)
@@ -30,10 +30,13 @@ struct v3_vm_hvm {
     uint32_t  first_hrt_core;
     uint64_t  first_hrt_gpa;
     struct v3_cfg_file *hrt_file;
+    uint64_t  hrt_entry_addr;
+    enum { HRT_BLOB, HRT_ELF64, HRT_MBOOT2, HRT_MBOOT64 } hrt_type;
 };
 
 struct v3_core_hvm {
     uint8_t   is_hrt;
+    uint64_t  last_boot_start;
 };
 
 struct v3_xml;
@@ -68,6 +71,8 @@ void     v3_hvm_find_apics_seen_by_core(struct guest_info *core, struct v3_vm_in
 int v3_setup_hvm_vm_for_boot(struct v3_vm_info *vm);
 int v3_setup_hvm_hrt_core_for_boot(struct guest_info *core);
 
+int v3_handle_hvm_reset(struct guest_info *core);
+
 #endif /* ! __V3VEE__ */