diff options
author | Paul Menzel <pmenzel@molgen.mpg.de> | 2020-06-02 11:12:30 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-07-06 06:30:14 +0000 |
commit | 01c1815eae0df2c5867ab728027db785efaee35e (patch) | |
tree | 77ecd2192f4ca39468ef3576c3506116ac2edb5e /src/drivers/ipmi/ipmi_kcs_ops.c | |
parent | 572d66abb695f8b0dc4f6bec0631ba961cd5b66b (diff) | |
download | coreboot-01c1815eae0df2c5867ab728027db785efaee35e.tar.xz |
drivers/ipmi: Increase BMC waiting message level from DEBUG to INFO
As the booting the system can be delayed for a noticeable amount of
time, often 60 seconds is the default, this is not a debug message.
Chose log level BIOS_INFO.
Change-Id: I941792148820c0e1d3fbc80197125fee8cedf09f
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41998
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner
Diffstat (limited to 'src/drivers/ipmi/ipmi_kcs_ops.c')
-rw-r--r-- | src/drivers/ipmi/ipmi_kcs_ops.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/ipmi/ipmi_kcs_ops.c b/src/drivers/ipmi/ipmi_kcs_ops.c index 0b90fb298e..7fa28e3df5 100644 --- a/src/drivers/ipmi/ipmi_kcs_ops.c +++ b/src/drivers/ipmi/ipmi_kcs_ops.c @@ -88,7 +88,7 @@ static void ipmi_kcs_init(struct device *dev) if (conf && conf->wait_for_bmc && conf->bmc_boot_timeout) { struct stopwatch sw; stopwatch_init_msecs_expire(&sw, conf->bmc_boot_timeout * 1000); - printk(BIOS_DEBUG, "IPMI: Waiting for BMC...\n"); + printk(BIOS_INFO, "IPMI: Waiting for BMC...\n"); while (!stopwatch_expired(&sw)) { if (inb(dev->path.pnp.port) != 0xff) |