Raspberry PI-Raspbian-Files di configurazione
cmdline.txt
E` possibile parametrizzare l'avvio (boot) del sistema configurando opportunamente alcune variabili
- ip
- ip=dhcp
- Per farsi assegnare l'indirizzo da un server DHCP
- ip=<indirizzo di rete fisso>
- Per assegnare un indirizzo fisso al Raspberry Pi (per esempio: ip=192.168.1.100)
- root del disco del sistema operativo
- root=/dev/mmcblk0p2
- Il default, ovvero la seconda partizione della SD Card
- root=/dev/<sd>
- Se si intende utilizzare un disco collegato alla porta USB, normalmente "/dev/sda1".
config.txt
Configurazioni audio, video, overclock, .. ..
- hdmi_force_hotplug=1
- Utilizzare se il monitor, collegato all'uscita HDMI non dovesse essere riconosciuto dal sistema
- hdmi_drive=2
- Forza l'uscita audio sulla porta HDMI, utile se il monitor non e` correttamente riconosciuto dal sistema
- dtoverlay=1w-gpio,gpiopin=4
- 1wire sul GPIO 4, queto carica gia` anche i moduli all'avvio, dalla versione Raspbian del 2015, 1wire sembra funzionare solo in questo modo.