NixOS on ARM/ODROID-C2
Status
ODROID-C2 support is being worked on by @grahamc. Mainline kernel from NixOS has been reported as working[1]. A non-specified build from mainline u-boot also has been reported to work.
Serial console
I used minicom to access the serial:
$ cat /etc/minirc.odroid-c2
# Machine-generated file - use "minicom -s" to change parameters.
pu port /dev/ttyUSB0
pu lock /var/lock
pu rtscts No
then run sudo minicom
to access the serial console.