Ok, I think I've found the problem... If I force in 'src/drivers/pc80/tpm/tis.c'
Thanks!
Changes I've made:
Hi!
Booting with acpi=noirq I can run the kernel and the dmesg show the next errors:
Any hint is welcome!
Regards
Hi!
I'm still trying to boot the linux kernel when the TPM is enabled...
>Background: the TPM driver calls acpi_device_path() which walks the
>devicetree hierarchy up and asks every device for its acpi_name().
>If you look at your devicetree, there is above your TPM, the `device
>pci 14.3` (LIBR), then `device domain 0` (PCI0) and finally an implicit
>root device (_SB_). The latter is hardcoded for all of coreboot.
>
>Now this acpi_name() has one peculiarity: When one device doesn't have
>this function, its parent's acpi_name() function is queried. That is
>why the acpi_name() implementations don't just `return "...";` but
>check for what device they were called, first.
I can see the TPM is initialized ok
\_SB.\_SB.LIBR.TPM: LPC TPM PNP: 0c31.0
It seems all ok for coreboot (device detected, initialized, no error messages, etc) but the linux kernel complains...
Is there some tool to analyze the ACPI table from coreboot to extract paths or anything relevant in order to know
what it's not working?
>The names returned have to match the names in the static ACPI tables.
>See your board's `dsdt.asl` and what it includes.
My board's dsdt.asl is the src/mainboard/amd/bettong/dsdt.asl from repository. I'm using that board to
do my testing, if you should take a look.
Attached is the trace log I get from coreboot.
Thanks for your help!
Jorge