08.06.2014 17:15, Michael Tokarev wrote: > 06.06.2014 18:06, Paolo Bonzini wrote: >> Do not do a hard reset for port 92h, keyboard controller, or cf9h soft reset. >> These only reset the CPU. > > I'm not sure how this is -trivial material? :)
Ping? This patch hasn't been applied so far, do you want to actually push it? Thanks, /mjt