jtojnar has quit [Remote host closed the connection]
jtojnar has joined #nixos-aarch64
vcunat has quit [Ping timeout: 250 seconds]
Thra11 has joined #nixos-aarch64
kier has quit [Quit: No Ping reply in 180 seconds.]
kier has joined #nixos-aarch64
vcunat has joined #nixos-aarch64
vcunat has quit [Quit: Leaving.]
feepo_ has quit [*.net *.split]
feepo has joined #nixos-aarch64
feepo has quit []
feepo has joined #nixos-aarch64
jtojnar has quit [Remote host closed the connection]
jtojnar has joined #nixos-aarch64
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-aarch64
randomname has joined #nixos-aarch64
<randomname>
Hi! Did I get it right that the Raspberry pi 3 is the only officially supported devboard? And what about raspberry pi 3 model b+?
<randomname>
Will it be supported too?
orivej has quit [Ping timeout: 244 seconds]
<andi->
randomname: i guess support is more a question of someone putting time into it. What is the difference between the `3` despite the higher clock speed and 5ghz wifi?
<randomname>
andi-: I think that's the main difference. Maybe there's something else. I just want to understand what devboard I may buy to use NixOS on it.
<andi->
I have a few RPi3's running fine. I'd be tempted to just try a 3+ and see where it fails
<andi->
It is probably not thaaaaat hard to get it working there
<samueldr>
I don't have sources, but IIRC it *should* work now
<andi->
please note that a RPi is not a fun target to explose nixos... the memory and speed is usually a bit of a blocker :-)
<samueldr>
there is a discussion in a nixpkgs issue
<Dezgeg>
it should work now that kernel 4.18 is released
<samueldr>
memory and speed isn't the real issue (from my experience), but the lack of good I/O (sdcard speed mainly)
<andi->
mine usually ran OOM
<Dezgeg>
maybe I need to update the image though
<andi->
or started swapping
<andi->
but with nix >=2.1 that could be better
<samueldr>
(yeah, swapping is part of bad I/O :))
<randomname>
Thanks! But what about the other boards listed here? https://nixos.wiki/wiki/NixOS_on_ARM Like Orange PI PC or Pine64? They will work too, or is it unlikely? :)
<samueldr>
allwinner boards listed there should still work, they're generally easy to work with
<samueldr>
working with mainline support, which may mean ethernet and hdmi issues
<Dezgeg>
they will probably lack gpu acceleration though
<Dezgeg>
I would presume ethernet and hdmi are long fixed now
<samueldr>
last time I checked my ethernet on pine a64-lts still didn't work :/
<randomname>
Thank you, I got this :(
<samueldr>
(4.16 though)
<samueldr>
though, using a downstream kernel (from the OEM) probably should work
<randomname>
And if we talk about x86_64 machines, what may you advise (CPU/GPU/APU)?
<Dezgeg>
latest mainline changes for pine64 talk about ethernet and hdmi working