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 1:
(1 comment)
https://review.coreboot.org/c/coreboot/+/36179/1/src/drivers/ipmi/ipmi_kcs.c File src/drivers/ipmi/ipmi_kcs.c:
https://review.coreboot.org/c/coreboot/+/36179/1/src/drivers/ipmi/ipmi_kcs.c... PS1, Line 238: init_and_start_ipmi_bmc_wdt(int Please move those function to a separate file, as this one only handles the kcs interface. Prefix with ipmi_