Differences
This shows you the differences between two versions of the page.
|
si:laboratoare:2025:07 [2025/11/17 10:06] florin.stancu |
si:laboratoare:2025:07 [2025/11/17 16:17] (current) farhad_ali.gul [Exerciții] |
||
|---|---|---|---|
| Line 64: | Line 64: | ||
| <note> | <note> | ||
| - | **În laborator, vom folosi echipamente Raspberry PI 4!** conectate prin USB Type-C și un adaptor UART la USB pentru vizualizarea consolei dispozitivului (din păcate, nu dispunem de suficiente monitoare HDMI în laborator + cabluri adaptoare). | + | **În acest laborator, vom folosi echipamente Raspberry PI 4!** conectate prin USB Type-C și un adaptor UART la USB pentru vizualizarea consolei dispozitivului (din păcate, nu dispunem de suficiente monitoare HDMI în laborator + cabluri adaptoare). |
| Înainte de a începe exercițiile, asigurați-vă că aveți cel puțin 10GB de storage disponibili în mașină virtuala de laborator. | Înainte de a începe exercițiile, asigurați-vă că aveți cel puțin 10GB de storage disponibili în mașină virtuala de laborator. | ||
| Line 82: | Line 82: | ||
| * Inspectați căile ''/boot'' (rețineți / copiați într-un fișier text output-ul, e util de comparat mai încolo). | * Inspectați căile ''/boot'' (rețineți / copiați într-un fișier text output-ul, e util de comparat mai încolo). | ||
| * Apoi, ne vom pregăti să pornim Raspberry PI 4! Introduceți cardurile SD scrise mai sus... | * Apoi, ne vom pregăti să pornim Raspberry PI 4! Introduceți cardurile SD scrise mai sus... | ||
| - | * Asigurați-vă că firele ce conectează Raspberry PI-ul la adaptorul de serială nu sunt ieșite. Dacă da, [[https://pinout.xyz/|conectați-le corespunzător]] (UART RX (alb) / TX (verde) la TX (pin 8)/RX (pin 10) al RPI-ului!) + chemați asistentul să verifice! | + | Asigurați-vă că firele dintre Raspberry Pi și adaptorul USB–Serial sunt bine conectate. Dacă vreun fir a ieșit, reconectați-l astfel: |
| - | * TLDR: începeți cu negru (GND) la pin 6 (al treilea de pe margine), apoi imediat lângă (pe același rând), firele alb + verde (în această ordine); **firul roșu SĂ RĂMÂNĂ NECONECTAT**! | + | |
| + | * Raspberry Pi 4 Pinout: [[https://pinout.xyz/|conectați-le corespunzător]] | ||
| + | * Conexiuni corecte (USB–Serial → Raspberry Pi GPIO) | ||
| + | |||
| + | * GND (negru) → Pin 6 de pe Raspberry Pi | ||
| + | (este pinul de masă, al treilea pin de pe marginea exterioară) | ||
| + | |||
| + | * RX (alb) → Pin 8 (GPIO14 / TXD) al Raspberry Pi | ||
| + | (RX de la adaptor se conectează la TX al Raspberry Pi) | ||
| + | |||
| + | * TX (verde) → Pin 10 (GPIO15 / RXD) al Raspberry Pi | ||
| + | (TX de la adaptor se conectează la RX al Raspberry Pi) | ||
| + | |||
| + | * VCC / 5V (roșu) → NU se conectează! Raspberry Pi este alimentat separat. | ||
| + | |||
| + | * Pornește cu negru (GND) la pinul 6, iar imediat lângă pe același rând conectează alb (RX) apoi verde (TX). Roșu rămâne neconectat. După conectare, chemați asistentul să verifice. | ||
| <note warning> | <note warning> | ||
| Line 116: | Line 131: | ||
| * Aveți nevoie de toolchain-ul pentru Aarch64 să fie în ''$PATH'' (lucru adevărat pe VM-ul de la laborator); | * Aveți nevoie de toolchain-ul pentru Aarch64 să fie în ''$PATH'' (lucru adevărat pe VM-ul de la laborator); | ||
| * Urmați pașii: <code> | * Urmați pașii: <code> | ||
| - | # pe Lab VM 2023 lipsește acest pachet, instalați-l: | + | # pe Lab VM posibil să lipsească aceste pachete, instalați-le: |
| - | sudo apt install libssl-dev | + | sudo apt install libssl-dev gnutls-dev |
| git clone --branch=v2023.07.02 https://github.com/u-boot/u-boot.git | git clone --branch=v2023.07.02 https://github.com/u-boot/u-boot.git | ||
| cd u-boot | cd u-boot | ||
| Line 153: | Line 168: | ||
| * Primul lucru, va trebui să creați o partiție ''ext4'' pe cardul SD, **după cea de boot, FAT32 (NU O ȘTERGEȚI)!**. Putem folosi ''fdisk'' sau utilitarul mai modern, ''parted'' (tot în linia de comandă :D ): | * Primul lucru, va trebui să creați o partiție ''ext4'' pe cardul SD, **după cea de boot, FAT32 (NU O ȘTERGEȚI)!**. Putem folosi ''fdisk'' sau utilitarul mai modern, ''parted'' (tot în linia de comandă :D ): | ||
| <code> | <code> | ||
| - | lsblk # NOTAȚI CU ATENȚIE CARE E CARDUL SD DE ~16GB !!!! | + | lsblk # POSIBIL SĂ SE SCHIMBAT, CĂUTAȚI DISPOZITIVUL CU ~8-16GB !!!! |
| # probabil SDB/SDC..., poate să fie sda dacă aveți ssd pe NVME și rulați Linux nativ... | # probabil SDB/SDC..., poate să fie sda dacă aveți ssd pe NVME și rulați Linux nativ... | ||
| sudo parted /dev/sd<X> # înlocuiți <X>-ul | sudo parted /dev/sd<X> # înlocuiți <X>-ul | ||
| Line 201: | Line 216: | ||
| <code> | <code> | ||
| + | # TODO: înlocuiți cu denumirea reală (versiunea) a fișierelor kernel și initrd! | ||
| # inițial, fără initramfs: | # inițial, fără initramfs: | ||
| - | fatload mmc <N>:1 ${kernel_addr_r} vmlinuz-6.1.61-rpi+ | + | fatload mmc <N>:1 ${kernel_addr_r} vmlinuz-6.1.xx |
| - | #fatload mmc <N>:1 ${ramdisk_addr_r} initrd.img-6.1.61-rpi+ # e degeaba, momentan :D | + | #fatload mmc <N>:1 ${ramdisk_addr_r} initrd.img-6.1.xx # e degeaba, momentan :D |
| # astea sunt setate deja în cmdline.txt, apoi sunt încărcate în DTB (FDT) mai departe de către BL2 | # astea sunt setate deja în cmdline.txt, apoi sunt încărcate în DTB (FDT) mai departe de către BL2 | ||
| # putem explora device tree-ul din memorie în felul următor: | # putem explora device tree-ul din memorie în felul următor: | ||
| Line 236: | Line 252: | ||
| * [[https://github-wiki-see.page/m/lulu98/projects-with-sel4/wiki/RPi4-Boot-Files|Explicație proces de boot al RPI 4 și fișierele firmware implicate]] | * [[https://github-wiki-see.page/m/lulu98/projects-with-sel4/wiki/RPi4-Boot-Files|Explicație proces de boot al RPI 4 și fișierele firmware implicate]] | ||
| * [[https://github.com/cs-pub-ro/SI-rpi-debian-scripts|Cod sursă scripturi compilare bootloader / kernel / generare rootfs]] | * [[https://github.com/cs-pub-ro/SI-rpi-debian-scripts|Cod sursă scripturi compilare bootloader / kernel / generare rootfs]] | ||
| + | |||
| + | |||
