Hi,
here's a patch that brings firmware for the Embedded Controller on Framework laptops.
I wanted to put this package into gnu/packages/firmware.scm but due to arm-none-eabi toolchain and the usage of embedded.scm module the build generates only errors due to inclusion. Therefore I temporarily placed the package to gnu/packages/embedded.scm.
I'm unfortunately not an owner of Framework laptop so I can't test the built firmware. I also don't want to ask people to reflash the EC as incorrectly built binary can result in a bricked computer.
Therefore I'd like to open the discussion what should be the steps to include EC [1][2] in general into Guix so that more parts of the firmware will be open source where possible.
[1] https://chromium.googlesource.com/chromiumos/platform/ec/
[2]
https://github.com/system76/ec
----
Petr
0001-gnu-Add-embedded-controller-hx20.patch