Merge branch 'oceanix_dev' of https://github.com/PoliTOcean/EVA_2025 …

…into oceanix_dev

.github/workflows/build_for_rasp.yml

@@ -0,0 +1,34 @@
+name: Build for Raspberry Pi
+
+on:
+  push:
+    branches:
+      - oceanix_dev
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v3
+
+    - name: Install QEMU and dependencies
+      run: |
+        sudo apt update
+        sudo apt install -y qemu qemu-user-static binfmt-support debootstrap
+
+    - name: Setup Raspberry Pi environment
+      run: |
+        mkdir rpi-root
+        sudo debootstrap --arch=armhf --foreign buster rpi-root http://archive.raspbian.org/raspbian
+        sudo cp /usr/bin/qemu-arm-static rpi-root/usr/bin/
+        sudo chroot rpi-root /bin/bash -c "debootstrap/debootstrap --second-stage"
+
+    - name: Compile in Raspberry Pi environment
+      run: |
+        sudo chroot rpi-root /bin/bash -c "chmod +x install.sh && ./install.sh"
+
+    - name: Retrieve built artifacts
+      run: sudo cp rpi-root/build/* ./build-output/