On a recent Delta flight (I believe we were on a B737-800), the seat-back entertainment system needed to be rebooted, so everybody on the plane got to watch the startup messages scroll by. It was a Linux system booting with Redboot, running on a single-processor system (to judge from the single Tux graphic on boot). I was entertained by the warning that the kernel was being tainted by non-GPL code.