diff options
author | Elyes HAOUAS <ehaouas@noos.fr> | 2021-01-16 18:01:38 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-18 07:50:46 +0000 |
commit | 2e2f72ec8a067a8fe859cd91f9cca2d2ec2416ed (patch) | |
tree | 262c7e1f43c305d5211a400eba0862704f47e06e /src/drivers/gic/Makefile.inc | |
parent | 2826cdccd17ae57acadad0d3ff1770914714ef7c (diff) |
drivers/ocp/dmi/Kconfig: Set FRU_DEVICE_ID depend on OCP_DMI
This will remove "CONFIG_FRU_DEVICE_ID=0" from ".config" when unused.
Change-Id: Ic50de165c1f3de3886d3cd1ae66853c9fad35ed2
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/49571
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/drivers/gic/Makefile.inc')
0 files changed, 0 insertions, 0 deletions