A lighter alternative to Raspberry Pi OS.