On 2020-01-25 11:34, Jun Sun wrote: > Wow! That is it! Thank you, Aurlien! > > I'm using debian 10.2 and clearly the kernel config option is not there. > After adding it back, the guest machine powers off correctly. >
The problem has been fixed in debian 10.3 which has just been released. Aurelien -- Aurelien Jarno GPG: 4096R/1DDD8C9B [email protected] http://www.aurel32.net
