Using a Raspberry Pi to format HDDs