[PATCH v5 0/4] Add vUART channel for s5 feature


"S5" is one of the ACPI sleep states which means the function to shut
down the VMs.

On ACRN, the User VM must be shut down before powering off the Service
VM, so we need a vUART channel to communicate between the Service VM
and User VMs.

After add vUART channel for each User VMs, the predefine number of vUART
is not enough, so move the define of MAX_VUART_NUM_PER_VM to config tool
which could get the right number of vUARTs.

For HV, this series have remove the MAX_VUART_NUM_PER_VM and refine the
define of *PIO_IDX.

*** BLURB HERE ***

Chenli Wei (4):
misc: add vUART channel for s5 feature
misc: define the MAX_VUART_NUM_PER_VM by offline tool
hv: move the MAX_VUART_NUM_PER_VM to offline tool
hv: refine the define of *PIO_IDX

.../include/arch/x86/asm/guest/vmx_io.h | 38 ++++----
hypervisor/include/arch/x86/asm/vm_config.h | 1 -
.../service_vm_config/serial_config.py | 30 +++----
misc/config_tools/static_allocators/intx.py | 25 +++++-
.../static_allocators/s5_vuart.py | 87 +++++++++++++++++++
.../xforms/vm_configurations.h.xsl | 7 ++
6 files changed, 151 insertions(+), 37 deletions(-)
create mode 100644 misc/config_tools/static_allocators/s5_vuart.py