Wer braucht schon Android oder iOS? Ein Raspberry-Pi-Smartphone für Bastler