kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_INFINIBAND.
Result is shown for kernelversion 6.0-rc7

InfiniBand support

modulename: ib_core.ko
configname: CONFIG_INFINIBAND

Linux Kernel Configuration
└─> Device Drivers
└─> InfiniBand support

Core support for InfiniBand (IB). Make sure to also select
any protocols you wish to use as well as drivers for your
InfiniBand hardware.


source code:


drivers/infiniband/core/