Linux for Makers: Understanding the Operating System That Runs Raspberry Pi and Other Maker SBCs