Linux

No aircraft cabin crew have ever put out a call asking if there are any Linux sysadmin onboard with a copy of GParted Live v1.5.0 for 32bit ARM devices .

The grizzled greybeard spoke up, brandishing his weathered USB drive above his head like a sword. "I can do it. I'm a sysadmin."

"Oh, thank God!" the flight attendant sighed. "It says something about booting, I'm not sure. Nobody here knows Linux."

The greaybeard squeezed himself out of his seat and stood in the aisle. "I’d just like to interject for a moment." he interrupted with a raised finger and a self-satisfied expression. "What you’re referring to as Linux, is in fact, GNU/LInux, or as I’ve recently taken to calling it, GNU plus Linux. Linux is not an operating system unto itself, but rather another free component of a fully functioning GNU system made useful by the GNU corelibs, shell utilities and vital system components comprising a full OS as defined by POSIX."

He shifted his bulk to block one of the other passengers, who was screaming behind him that nobody cares. The pilot was now standing behind the flight attendant, begging the sysadmin to come up to the cockpit, but the greybeard was undeterred. "Many computer users run a modified version of the GNU system every day, without realizing it. Through a peculiar turn of events, the version of GNU which is widely used today is often called “Linux”, and many of its users are not aware that it is basically the GNU system, developed by the GNU Project. There really is a Linux, and these people are using it, but it is just a part of the system they use. Linux is the kernel: the program in the system that allocates t—"

The sysadmin never finished his sentence; the airplane smashed into the ground and all aboard were killed instantly. The impact somehow caused the GNU/Linux device to reboot correctly before it too was smashed to pieces a fraction of a second later.