Because of concerns over backwards compatibility and a suggestion that xenfv should be retired in favour of using the pc machine type I have re- worked my original patch into 2 patches:
[PATCH 1/2] Allow use of pc machine type (accel=xen) for Xen HVM [PATCH 2/2] Move hardcoded initialization of xen-platform device. Application of both these patches allows alternative pc machine types to be used with the accel=xen option, but preserves the hardcoded creation of the xen-platform device only for machine type xenfv. v3: - Add test for xen_enabled() that went missing in v2 v4: - Remove erroneous whitespace hunk - Replace hw_error() with fprintf()+exit(1) - Add braces to single-line if
