Arduino vs. Raspberry Pi: what’s the difference?