Does NixOS support a Banana PI M2 (A31S)?

On the NixOS Wiki ARM page the banana pi with an allwinner A20 CPU is listed as supported. From Wikipedia I take it that this is the BPI M1. Does anybody have experiance with the BPI M2 (A31S CPU)? I could by this from a local second hand trader but am wondering what trouble I would face.

More specifially:

  • Do I need to recompile stuff on a A31S ARM Cortex A7 or do the binaries from hydra work on this processor?
  • Do I need to do some magic in order to boot the BPI M2 or will the generic NixOS ARM image be fine?

The official places ( / don’t have binaries for 32-bit ARM, except a few cross-compiled ones perhaps.