diff options
Diffstat (limited to 'src/usr/secureboot/trusted/trustedboot.C')
| -rw-r--r-- | src/usr/secureboot/trusted/trustedboot.C | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/usr/secureboot/trusted/trustedboot.C b/src/usr/secureboot/trusted/trustedboot.C index d9b6b5cb7..83db64a86 100644 --- a/src/usr/secureboot/trusted/trustedboot.C +++ b/src/usr/secureboot/trusted/trustedboot.C @@ -46,7 +46,9 @@ #include <sys/mmio.h> #include <sys/task.h> #include <initservice/initserviceif.H> +#ifdef CONFIG_BMC_IPMI #include <ipmi/ipmisensor.H> +#endif #include <config.h> #include <devicefw/driverif.H> #include <i2c/tpmddif.H> |
