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  in general into Guix so that more parts of the firmware will be open source where possible.