Patrick Rudolph has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36179 )
Change subject: drivers/ipmi: Add IPMI BMC FRB2 watchdog timer support ......................................................................
Patch Set 4:
(1 comment)
https://review.coreboot.org/c/coreboot/+/36179/4/src/drivers/ipmi/ipmi_ops.c File src/drivers/ipmi/ipmi_ops.c:
https://review.coreboot.org/c/coreboot/+/36179/4/src/drivers/ipmi/ipmi_ops.c... PS4, Line 20: int init_and_start_ipmi_bmc_wdt(int port, uint16_t countdown, uint8_t action) Prefix with ipmi_