Tools used to clone raspberry pi SD cards and OS images