On Tue, Oct 15, 2019 at 01:06:33PM +0000, Michael Kelley wrote:

From: Andrea Parri <parri.andrea@gmail.com> Sent: Tuesday, October 15, 2019 3:35 AM

quoted

Michael reported that the x86/hyperv initialization code printed the
following dmesg when running in a VM on Hyper-V:

  [    0.000738] Booting paravirtualized kernel on bare hardware

Let the x86/hyperv initialization code set pv_info.name to "Hyper-V";
with this addition, the dmesg read:

  [    0.000172] Booting paravirtualized kernel on Hyper-V

Reported-by: Michael Kelley <redacted>
Signed-off-by: Andrea Parri <parri.andrea@gmail.com>

Reviewed-by: Michael Kelley <redacted>

Thomas, will you be taking this? Would you rather have me deal with the
hyperv bits under arch/x86/?

-- 
Thanks,
Sasha