Artesyn ATCA-7480 Installation and Use (February 2015) - Manual (Page 200)

BIOS
ATCA-7480 Installation and Use (6806800T17A) 200
IPMI Configuration
The following table contains description about the options that can be configured in IPMI
configuration.
Figure 6-17 IPMI Configuration
Table 6-14 Advanced >> IPMI Configuration
Item Values IPMI Boot parameter Description
IPMI KCS Interrupt Enabled,
Disabled ipmi_irq Enables/Disables usage of Host Interface (KCS)
interrupt. KCS interrupt is hardwired to IRQ 6.
OS Watchdog
Timer Enabled,
Disabled osboot_wd If enabled, starts the IPMI watchdog just before
booting the operating system. The OS has to shut off
the watchdog timer when successfully booted.
0S WD Timeout 1, 2, 3, 5, 7,
10, 15, 20
Minutes osboot_wd_tout Configure the Timeout of the OS Boot Watchdog
Timer.