4 ms·

I tried to love aarch64 NixOS very much for my pi 3 but, latest kernel is broken and doesn’t boot at all, previous (5.4) needs a firmware adjustment otherwise h

by lloeki 6y ago

I tried to love aarch64 NixOS very much for my pi 3 but, latest kernel is broken and doesn’t boot at all, previous (5.4) needs a firmware adjustment otherwise has HDMI issues, and 4.19 has no HDMI issue but is lacking on hardware support (no cpufreq scaling, sound output broken). This means the install process is painful as it requires a serial tty or typing blind commands to enable ssh. Also, once you get it running, if you ever screw up, booting the previous gen requires editing the bootloader files as it seems uboot is unable to initialise some usb keyboards properly (although they are listed). And finally, there seems to be no X support. I don’t want to sound harsh, I know it’s tough work, so I’m definitely extending my thanks to anyone working on that port.

aidenn0 6y ago
There is definitely X support on Aarch64 nixos. I've run X on an Odroid C2 and a rockpro64. It does, however require putting the right drivers in your config, as the default is only sane on the pc platform
- lloeki 6y ago
  Ah, when I tried to install it, nix loudly warned though a terminal message that it was entirely unsupported and bailed out. At that point I had enough issues that I bailed out at it's not practical yet for my pet projects.