https://guid.cam/tech/terrance/best-lightweight-operating-systems-raspberry-pi/