Since many years all my machines run Fedora. It was only recently that
I started playing with a Raspberry Pi, running a distribution based on
debian. I have only seen slight differences between Fedora and Debian.
If they are worth being mentioned, I'll mention them under
Preparations ->
Raspberry Pi
