Linux Mint und eine von viele Raspberry Pi