The IGVM File Format

Introduction In this article, we will dive into the Independent Guest Virtual Machine (IGVM) file format. The main objective here is not to provide an exhaustive description, but rather to focus on the main structures of IGVM files by illustrating them with a concrete example from the OpenHCL project, namely openhcl.bin. This file is the firmware image for the OpenHCL paravisor. One can either build it from source or download a pre-built binary — refer to the OpenVMM Guide for instructions. For ...