wildtrees has quit [Remote host closed the connection]
wildtrees has joined #nixos-aarch64
wildtrees has quit [Quit: Leaving]
ris has quit [Ping timeout: 240 seconds]
<pbb>
Any idea how I can make HDMI audio output work on a RPi3?
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ris has joined #nixos-aarch64
orivej has quit [Ping timeout: 276 seconds]
ris has quit [Ping timeout: 240 seconds]
ris has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
v0|d has joined #nixos-aarch64
zupo has joined #nixos-aarch64
ris has quit [Ping timeout: 276 seconds]
ris has joined #nixos-aarch64
kunstruktur has joined #nixos-aarch64
<kunstruktur>
hey all
<kunstruktur>
how to netboot nixos on raspi 3b+?
<kunstruktur>
already have one running as a tftp/nfs server and having the other one booting raspbian off it
<kunstruktur>
but trying to boot nixos gets stuck on "Starting kernel..."
<kunstruktur>
I assume I need to bake some networking drivers into the initrd but not sure ... anyone got pointers?
<samueldr>
it *may* not be stuck on "Starting kernel..." but later
<kunstruktur>
samueldr: how do i tell
<samueldr>
you'll have to get serial output to figure it out
<kunstruktur>
shit ;<
orivej has joined #nixos-aarch64
<samueldr>
the thing is the mainline kernel that's used by default on aarch64 uses the vc4 modesetting driver for the consoles, and in our setup it needs to be loaded to then start showing the console
<samueldr>
starting with 19.09 (so it's in unstable too) the default initrd has the modules so if the initrd is served right, it may show more early boot messages
<samueldr>
though I couldn't say more about netbooting, never done it :/
<kunstruktur>
hmmm
<kunstruktur>
thanks, it's a start
orivej has quit [Ping timeout: 265 seconds]
<kunstruktur>
samueldr: i don't have a usb<->serial cable but i think i got some of those tiny patch wires laying around
<kunstruktur>
think i can connect the two raspberries with them to get a serial console?
<samueldr>
I think there should be a way, but I'm not sure of the details
<MichaelEden[m]>
that sounds likely, if you swap the tx/rx pins
<samueldr>
it may need RX->TX TX->RX GND->GND or something along the way, but maybe search online first
<kunstruktur>
yep looks possible
<kunstruktur>
damn i should've thought of that earlier
<kunstruktur>
serial debugging, here i come
<MichaelEden[m]>
and you have to kill the tty that's on that uart,