Re: [tboot-devel] [PATCH] Disable PCID before paging during shutdown

[Sun, N. <nin...@in...>]

Hi Zason,

Thanks for your patch, may I ask if Gentoo use a generic Linux kernel?  Currently for mainstream Linux distributions we do not see the issue you observed, can you please check from your OS to see if PCID is disabled before disabling paging during the shutdown process.
Meanwhile we need some time to verify your patch to see if there is any side effect...

Thanks,
-ning

-----Original Message-----
From: Jason Zaman [mailto:ja...@pe...] 
Sent: Thursday, May 07, 2015 8:51 AM
To: tbo...@li...
Subject: [tboot-devel] [PATCH] Disable PCID before paging during shutdown

Disabling paging if PCID is enabled causes the machine to reboot since tboot was not exited properly. This disables PCID just before disabling paging in the shutdown handler in case it was not disabled by the OS first.

Signed-off-by: Jason Zaman <ja...@pe...>