[Nix-dev] Cross development for STM32

[Tim Barbour]

I have some STM32 boards (e.g. Maple Mini) to play with. I am not trying to
port Nixos to them, because they are not really powerful enough to run Linux;
instead I plan to run ChibiOS/RT on them.

I would appreciate suggestions as to a good way to setup an STM32
cross-development environment on Nixos, so that I can write software that will
run on (link with) ChibiOS/RT on the STM32 board.

Tim