Describir: What is Linux?—and does it work?