Singapore Airlines runs Linux

Halfway through my flight from Melbourne to Singapore, my personal entertainment unit rebooted itself, and I was confronted with this screen:

It appeared to be a variant of Caldera (!!), which I guess would explain why it had crashed.