===================================================================
@@ -20,7 +20,7 @@ SRC16=$(SRCBOTH) system.c disk.c font.c
SRC32FLAT=$(SRCBOTH) post.c shadow.c memmap.c coreboot.c boot.c \
acpi.c smm.c mptable.c smbios.c pciinit.c optionroms.c mtrr.c \
lzmadecode.c bootsplash.c jpeg.c usb-hub.c paravirt.c dev-i440fx.c \
- pci_region.c
+ pci_region.c tcgbios.c tpm_drivers.c
SRC32SEG=util.c output.c pci.c pcibios.c apm.c stacks.c
cc-option = $(shell if test -z "`$(1) $(2) -S -o /dev/null -xc \
===================================================================
@@ -314,6 +314,14 @@ menu "BIOS interfaces"
default n
help
Disable A20 on 16bit boot.
+
+ config TCGBIOS
+ depends on !COREBOOT
+ bool "TPM support and TCG BIOS extensions"
+ default y
+ help
+ Provide TPM support along with TCG BIOS extensions
+
endmenu
menu "BIOS Tables"
This patch allows to configure the TCGBIOS extensions to be built into SeaBIOS, depending on not COREBOOT being selected. All TCG BIOS extensions are activated with CONFIG_TCGBIOS. Add the two new code files (tcgbios.c, tpm_drivers.c) to be built. Signed-off-by: Stefan Berger <stefanb@linux.vnet.ibm.com> --- Makefile | 2 +- src/Kconfig | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-)