We would like to add OCP TimeCard driver as a part of kmods for CentOS Stream. The driver supports different hardware implementations and also has some dependencies based on the hardware. The driver itself can be enabled via CONFIG_PTP_1588_CLOCK_OCP=m, but it needs some hard dependencies: ``` CONFIG_NET_DEVLINK=y CONFIG_CRC16=y CONFIG_DPLL=y ``` The next dependencies are for the driver to be able to read HW serial numbers and board-specific configurations: ``` CONFIG_I2C_OCORES=m CONFIG_I2C_XILINX=m ``` And there are 4 more dependencies to be able to upgrade the firmware via devlink: ``` CONFIG_SPI_ALTERA=y CONFIG_SPI_ALTERA_CORE=y CONFIG_SPI_BITBANG=m CONFIG_SPI_XILINX=m ```