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.

Resources

↑ https://logs.nix.samueldr.com/nixos-aarch64/2018-01-25#863144;

[1] ttps://logs.nix.samueldr.com/nixos-aarch64/2018-01-25#863144;

[1]