<samrose>
samueldr: I figured out troubles with serial console, and actually got 4.18 nixos image to boot on bananapi m64
<samrose>
still no hdmi output
<samueldr>
samrose: what were the troubles?
<samueldr>
and yeah, both 4.18 and 4.19 fail at hdmi here on the Pine A64-LTS too
<samrose>
I wasn't aware of the correct speed to set on the serial console
<samueldr>
115200 :)
<samrose>
right indeed
<samrose>
uboot is displaying output on hdmi
<samueldr>
other than "wait for 4.20 hoping they fix it" I don't really know for the bananapi :/
<samrose>
A colleague figured if I can find the correct place to setenv with booatargs in uboot build, I might get the terminal console in hdmi, which is all I need
<samueldr>
or alternatively, find a downstream-based kernel for it
<samueldr>
which boot args do you want to add?
<samueldr>
you can modify the extlinux/extlinux.conf (IIRC) file in the NIXOS_BOOT partition
<samrose>
samueldr: you think that line likely should live inthe extlinux/extlinux.conf file of NIXOS_BOOT?
orivej has joined #nixos-aarch64
<samrose>
(I wasn't sure myself)
<samueldr>
I'd bet a 50% chance it works, and only with increasing odds if that image uses a mainline linux kernel, which I would doubt
<samueldr>
but yeah
<samueldr>
those are kernel command line options
<samueldr>
you can add those to `APPEND`
<samueldr>
repeating them shouldn't cause issues
<samrose>
in this case, I'd be trying those args on the sd-aarch64 img /kernel (not the ubuntu image you see in the link)
<samueldr>
right
<samrose>
We were examining the ubuntu image to try and figure out how they achieved hdmi
<samueldr>
pi@bpi-iot-ros-ai:~$ uname -a
<samueldr>
Linux bpi-iot-ros-ai 3.4.39-BPI-M3-Kernel #4 SMP PREEMPT Thu Nov 17 08:10:07 UTC 2016 armv7l armv7l armv7l GNU/Linux
<samueldr>
(found randomly online)
<samueldr>
if it's a 3.4 kernel, on that ubuntu image, results may vary wildly
<samrose>
you are right I believe, they are not using a mainline kernel directly, but have just grabbed the source for the kernel, crammed it into their repo and build the image
<samrose>
the company that manufactures bananapi and builds these ubuntu images doesn't even submit their drivers back up to kernel.org
<samueldr>
(as is usual with allwinner boards :()
<samrose>
ah ok, I wasn't aware. I am (obviously :) ) a newbie to all of this
<samueldr>
more often than not, it's what happens
<samrose>
likely wouldn't have made it this far if not for the nix tool chain to build all this stuff saving lots of time
<samueldr>
at least the boards are similar enough that when contributors contribute changes for one, often few changes are needed for mainlining another board
<samueldr>
though I'd recommend you manually edit your existing sd card's files instead of going through a long compilation to find out the right params :)