q3k authored 1 year ago and q3k committed 1 year ago

This is a pipeline which gives us _almost_ fully automated releases -
just without the last step of actually creating a release. But it's what
carried us to a 1.0.0 release.

Turns out there's a bug in ESP-IDF that causes FPU registers to get
correpted on context switches:

https://github.com/espressif/esp-idf/issues/11690

This applies this patch in nix, and reminds others to apply this patch
in the README. With this patch applied, graphical glitches in the
firmware seem gone.

Phew.

This was mostly blocked by Micropython, but it has since then also
upgraded to IDF 5: https://github.com/micropython/micropython/commit/e4650125b88a35f074097f16d84a8f49bd22ac06

We take that change and selectively apply it where necessary. However,
it's not a 1:1 patch apply, as we already were on a somewhat forked
Micropython, and we also want to support IDF 5.1, not 5.0.

We also bump up the IDF distribution brought in by Nix, and fix some
warnings that have since turned into errors due to toolchain changes.

This implements a basic Python simulator for the badge. It currently
can't do much other than just displaying the main selection screen, as
it implements no inputs.

This refactors the build system to be more in line with the average
ESP-IDF project.

This means that:
  1. `idf.py` from the main directory now works
  2. Adding components, running menuconfig, etc. should now be trivial.
  3. We don't have to edit files in micropython/ports/esp32/....

Hopefully this is the first step to yeeting the micropython checkout
from source and just depending on a submodule instead.

This adds initial support for building on Nix(OS). It can be tested by
following the updated README.md. The result should be the ability to
build the firmware without having to download any other dependencies.