Rebuild firmware for WHY2025 Badge on Fedora 42

gistfile1.txt

# Building the badge OS on Fedora 42

## Espressif Tools

```sh
mkdir ~/Devel/esp; cd ~/Devel/esp
git clone -b v5.5 --recursive https://github.com/espressif/esp-idf.git
cd esp-idf
./install.sh esp32p4
```

## Badge repo

Make sure your user is part of the `dialout` group and that you plug the USB-C on the
right-hand side

```sh
cd ~/Devel/esp
source ~/Devel/esp/esp-idf/export.sh
git clone https://gitlab.com/why2025/team-badge/firmware
cd firmware
idf.py build flash monitor
```