Booting What?

I flew on Delta from JFK to Gatwick last night, and the seat-front screens were having some difficulty. I was stunned to learn that that little screen (at least on Delta) is a (Red Hat) Linux box, as I got to watch Red Hat's re-boot sequence about a dozen times. And it was clear that my station had its own Linux copy, as I could see my seatmates version of Red Hat Linux at a different point of re-boot than mine was.

Who knew?