[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAO-sURRBXW77tk-Vq4vZr5q3GJt643o80jC35PpjUx649L=+cg@mail.gmail.com>
Date: Sat, 11 Aug 2018 14:29:41 -0400
From: Harlan Lieberman-Berg <harlan@....mil>
To: Tomas Winkler <tomasw@...il.com>
Cc: Jarkko Sakkinen <jarkko.sakkinen@...ux.intel.com>,
Peter Huewe <peterhuewe@....de>,
linux-integrity@...r.kernel.org,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
linux-security-module@...r.kernel.org
Subject: Re: Fwd: PROBLEM: tpm_cpg can't request region with AMD/Dell fTPM
On Sat, Aug 11, 2018 at 5:42 AM, Tomas Winkler <tomasw@...il.com> wrote:
> What platform is this? This is not regular 0xfed40000 address space. I
> guess this is BYT or CHT. It's better to get dmideoce dump as well.
Hello Tomas, Jarkko, all,
I'm not sure what's up with that. I've updated the firmware to the
latest version (with no fix, sadly), and re-dumped the ACPI tables.
They now process correctly through isl v20180629. I've also saved the
output of dmidecode for you.
https://gist.github.com/hlieberman-gov/83fa708d41051bafccc553cf0147db4f
Sincerely,
--
Harlan Lieberman-Berg
Defense Digital Service
Powered by blists - more mailing lists