NixOS on ARM/ODROID-C2

Status

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.

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.