I wonder if the Raspi uses OS in this use case. I imagine using the hardware directly like a microcontroller is also a possibility. I also wonder if they use some kind of linux distribution with their own software on top of it.