NixOS on ARM/ODROID-C2
ODROID-C2 support is being worked on by @grahamc. Mainline kernel from NixOS has been reported as working. A non-specified build from mainline u-boot also has been reported to work.
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
sudo minicom to access the serial console.