The ov01a1s camera sensor is a special variant of the ov01a10 sensor using mixed RGB and IR pixels in a single sensor.
This sensor is used on at least the Dell Latitude 9420 laptop.
An out of tree driver is available here:
https://github.com/intel/ipu6-drivers/blob/master/drivers/media/i2c/ov01a1s.c
Since this is the same sensor as the ov01a10 with just a different color-filter in front of it, support for this should be added to the existing ov01a10 driver rather then introducing a new driver. Comparing the 2 out of tree drivers shows very little difference (as expected).
Reproducible: Always