Adds IPMI support to 4.19 real-time kernel config
Closes issue #40 (moved) - adds IPMI support to real-time kernel config Required to use 'ipmitool' and similar to modify IPMI settings, as well as remote boot console
Edited by Ezekiel Dohmen
Closes issue #40 (moved) - adds IPMI support to real-time kernel config Required to use 'ipmitool' and similar to modify IPMI settings, as well as remote boot console