Re: [RFC PATCH v2 34/44] target/i386/tdx: set reboot action to shutdown when tdx

[Gerd Hoffmann]

  Hi,

> In TDX CPU state is also protected, thus vcpu state can't be reset by VMM.
> It assumes -action reboot=shutdown instead of silently ignoring vcpu reset.

Again, better throw an error instead of silently fixing up settings.

take care,
  Gerd