I’m interested to know where the setting CONFIG_MEDIA_TUNER_SI2157 is set. e.g. is it only shown in the build tree at build time, or is there a way to see it on a running system?
Looking one level above, I notice the i2c driver is also missing. The headers and Kconfig are there, but the actual *.ko module file is missing. Here’s an example of the Makefile
less /usr/src/kernels/5.14.0-70.17.1.el9_0.x86_64/drivers/i2c/Makefile
I’m not sure how to use this Makefile. If I “install” the kernel source rpm, does it mean I can build the ‘i2c’ module using the installed infrastructure (in tree) as opposed to extracting the whole kernel to somewhere and trying to build it (out of tree)?