Impostazione di un Raspberry Pi

Scarica e installa un formattatore di schede SD comeFormattatore di schede di memoria SD. Inserisci la scheda SD nel computer. Avvia il programma e scegli l'unità in cui è inserita la scheda SD. È possibile formattare rapidamente la scheda SD.

Scarica il sistema operativo Raspbian Buster come file zip.

Utilizzando uno strumento di scrittura su scheda SD (ad esempio Etcher), segui le istruzioni per trasferire il file zip scaricato nella scheda SD. Poiché l'immagine del sistema operativo è di grandi dimensioni, l'operazione potrebbe richiedere alcuni minuti. Espelli la scheda SD dal computer e inserisci la scheda MicroSD nel Raspberry Pi.

Per il primo avvio, ti consigliamo di connettere il Raspberry Pi a un monitor (tramite HDMI), una tastiera e un mouse. Quindi, collega il Pi a una sorgente di alimentazione micro USB e il sistema operativo Raspbian dovrebbe avviarsi.

È possibile configurare il layout della tastiera del Pi prima di continuare. Per farlo, scegli l'icona Raspberry in alto a destra, scegli Preferences (Preferenze), quindi Mouse and Keyboard Settings (Impostazioni mouse e tastiera). Quindi, sulla scheda Keyboard (Tastiera) scegli, Keyboard Layout (Layout tastiera) e scegli una variante adatta di tastiera.

Quindi, collega il Raspberry Pi a Internet tramite una rete Wi-Fi o un cavo Ethernet.

È necessario configurare SSH sul Pi per connetterti in remoto. Apri una finestra del terminale sul Raspberry Pi ed esegui il comando seguente:

sudo raspi-config

Verrà visualizzato un codice analogo al seguente:

Scorri in basso e scegli Interfacing Options (Opzioni di interfaccia), quindi scegli P2 SSH. Quando viene richiesto, scegliere Yes (Sì). (Utilizza la chiave Tab seguita da Enter). L'SSH deve essere abilitata. Scegli OK. Usa il tasto Tab per scegliere Finish (Fine) e quindi premi Enter. Se il dispositivo Raspberry Pi non si riavvia automaticamente, esegui il comando seguente:

sudo reboot

Esegui il comando seguente nel terminale del Raspberry Pi:

hostname -I

Questo restituisce l'indirizzo IP del Raspberry Pi.

Se utilizzi macOS, apri una finestra del terminale e digita:

ssh pi@IP-address

IP-address corrisponde all'indirizzo IP del Raspberry Pi ottenuto utilizzando il precedente comando hostname -I.

Se stai usando Windows, è necessario installare e configurare PuTTY. Apri Connection (Connessione), Data (Dati) e accertati che sia selezionato Prompt:

Quindi, scegli Session (Sessione), immetti l'indirizzo IP del Raspberry Pi e scegli Open (Apri) utilizzando le impostazioni predefinite.

Se viene visualizzato il messaggio " PuTTY security alert", scegli Yes (Sì).

I valori predefiniti di login e password di Raspberry Pi sono rispettivamente pi e raspberry.

Adesso puoi impostare il Raspberry Pi per AWS IoT Greengrass. In primo luogo, esegui i seguenti comandi da una finestra del terminale locale del Raspberry Pi o da una finestra del terminale SSH:

sudo adduser --system ggc_user
sudo addgroup --system ggc_group

Per migliorare la sicurezza sul dispositivo Pi, abilitare la protezione hardlink e softlink (symlink) sul sistema operativo all'avvio.

1. Andare al file 98-rpi.conf.

   cd /etc/sysctl.d
   ls

   Nota

   Se non visualizzi il file 98-rpi.conf, segui le istruzioni contenute nel file README.sysctl.

2. Utilizza un editor di testo (ad esempio Leafpad, GNU nano o vi) per aggiungere le seguenti due righe alla fine del file. Potresti dover utilizzare il comando sudo per modificare come root (ad esempio sudo nano 98-rpi.conf).

   fs.protected_hardlinks = 1
   fs.protected_symlinks = 1

3. Riavvia il dispositivo Pi.

   sudo reboot

   Dopo un minuto circa, connettiti al dispositivo Pi tramite SSH, quindi esegui il comando seguente per confermare la modifica:

   sudo sysctl -a 2> /dev/null | grep fs.protected

   Dovresti visualizzare fs.protected_hardlinks = 1 e fs.protected_symlinks = 1.

Modifica il file di avvio a riga di comando per abilitare e montare cgroups di memoria. Ciò consente a AWS IoT Greengrass di impostare il limite di memoria per le funzioni Lambda. Richiesto anche Cgroups per eseguireAWS IoT Greengrassnel defaultContainerizzazioneModalità.

1. Passa alla directory boot.

   cd /boot/

2. Aprire il file cmdline.txt con un editor di testo. Aggiungi quanto segue alla fine della linea esistente, non come una nuova riga. Potresti dover utilizzare il comando sudo per modificare come root (ad esempio sudo nano cmdline.txt).

   cgroup_enable=memory cgroup_memory=1

3. Ora riavvia il dispositivo Pi.

   sudo reboot

Il Raspberry Pi dovrebbe essere pronto per AWS IoT Greengrass.

Facoltativo. Installare il runtime Java 8, richiesto dal Gestore di flussi. Questo tutorial non utilizza Gestore di flussi, ma utilizza il flusso di lavoro Creazione gruppo predefinito che abilita Gestore di flussi per impostazione predefinita. Utilizzare i seguenti comandi per installare il runtime Java 8 sul dispositivo principale o disabilitare Gestore di flussi prima di distribuire il gruppo. Le istruzioni per disabilitare Gestore di flussi sono fornite nel Modulo 3.

sudo apt install openjdk-8-jdk

Per assicurarti di avere tutte le dipendenze richieste, scarica ed esegui il controllo delle dipendenze di Greengrass dalAWS IoT GreengrassEsempirepository su GitHub. Questi comandi decomprimono ed eseguono lo script dello strumento di controllo delle dipendenzeDownloadsdirectory.

cd /home/pi/Downloads
mkdir greengrass-dependency-checker-GGCv1.11.x
cd greengrass-dependency-checker-GGCv1.11.x
wget https://github.com/aws-samples/aws-greengrass-samples/raw/master/greengrass-dependency-checker-GGCv1.11.x.zip
unzip greengrass-dependency-checker-GGCv1.11.x.zip
cd greengrass-dependency-checker-GGCv1.11.x
sudo modprobe configs
sudo ./check_ggc_dependencies | more

Dove viene visualizzato more, premi il tasto Spacebar per visualizzare un'altra schermata di testo.

Per informazioni sul comando modprobe, esegui man modprobe nel terminale.