Raspberry Pi 500 boot options peter Wed, 02/12/2025 - 11:32