Add WLAN firmware and wpa_supplicant.conf

.github/workflows/build.yml

@@ -57,7 +57,7 @@ jobs:
            export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
            RPI=1 bash -ex build.sh
            cp ./src/kernel*.img ./kernels/
-    - name: Get Raspberry Pi boot files
+    - name: Get Raspberry Pi boot files and WLAN firmware
       run: |
            set -ex
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
@@ -74,6 +74,12 @@ jobs:
            cd sdcard
            cp ../kernels/* . || true
            cd -
+           # WLAN firmware
+           cp circle-stdlib/libs/circle/addon/wlan/sample/hello_wlan/wpa_supplicant.conf sdcard/
+           mkdir -p sdcard/firmware
+           cd sdcard/firmware
+           make -f ../../circle-stdlib/libs/circle/addon/wlan/firmware/Makefile
+           cd -
     - name: Get performance files
       run: |
            git clone https://github.com/Banana71/Soundplantage --depth 1 # depth 1 means only the latest commit

Synth_Dexed

@@ -1 +1 @@
-Subproject commit 8c677ceb4b3fb73f8643e30ff6cf4158dc8b9e53
+Subproject commit c9f52741a802ad9bb01263823650f7cc3b0b5108

circle-stdlib

@@ -1 +1 @@
-Subproject commit 61cf3a47bf93628039078b7c840e44432e52343e
+Subproject commit 3bd135d35ac23c7c726924cb85b5890cbf80bbfe