tree 980f9134866256c6372e3c5deee08d117db03953
parent e6940c073334b8176d47af8b3aa6ca3de40b18de
author Sergii Dmytruk <sergii.dmytruk@3mdeb.com> 1712512434 +0300
committer Felix Held <felix-coreboot@felixheld.de> 1712733856 +0000

configs: enable TPM PPI for asrock_b85m_pro4.tpm2_txt_placeholder_acms

This is a good board for compiling TPM PPI sources for the following
reasons (based on `config TPM_PPI` definition):
 - uses TPM
 - the board is not related to ChromeOS
 - ACPI tables are enabled
 - it doesn't use EDK2 payload

At the moment drivers/tpm/ppi.c seems to not be compiled by CI at all,
see CB:69161 and CB:81590.

`CONFIG_TPM_PPI` is off by default but at least several configurations
under `configs/` (Protectli, MSI) should exercise the file because they
use EDK2 payload which changes default value.  This is however negated
by abuild disabling all payloads and thus effectively preventing
`CONFIG_TPM_PPI` from being set.  This board not using EDK2 also ensures
that `CONFIG_TPM_PPI=y` will not disappear after some future
`make savedefconfig`.

Change-Id: I316747a79b3142e9d6188c5986b344c7751d92d7
Signed-off-by: Sergii Dmytruk <sergii.dmytruk@3mdeb.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81800
Reviewed-by: Julius Werner <jwerner@chromium.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>