<samrose>
I got this to boot into nixos, USB and ethernet appeared to be working, but video did not on the bananapi. I suspect it could be that the .bin build crashed (probably ran out of space)
<samrose>
so all of the files may not have made it in
<samrose>
I'll keep working with that today, see if I can overcome the running out of space issue, but so far this is very good progress
flokli has joined #nixos-aarch64
flokli has quit [Quit: WeeChat 2.2]
<Dezgeg>
so no hdmi? I wonder if the recently released U-Boot 2018.09 helps
<Dezgeg>
or perhaps not since the driver has: depends on !MACH_SUN50I
<Dezgeg>
oh, there is a separate SUNXI_DE2 driver for that
<makefu>
what would be a good aarch64 board with sata right now (preferably already tested to run the aarch64 nixos image successfully)?
<samrose>
these looked good https://www.avantek.co.uk/store/arm-desktops.html but I don't know about how compatible with nixos aarch64 image they will be. I guess it won't matter just to build the image, it needs to be aarch64 if I am not mistake
<Dezgeg>
the official build box is a ThunderX2 which has great support mainline, though getting it to boot takes some fiddling since there isn't a EFI installer image yet
<grw>
makefu: jetson tx1 has sata and boots nixos image i think
<grw>
its expensive and a bit old now though
jtojnar has joined #nixos-aarch64
<grw>
rk3399 with nvme drive will give much better performance, i expect soon someone will have nixos working on it
<makefu>
grw: what is the rk3399 board called?
<grw>
rk3399 is a SOC, there are various boards by different vendors
<samueldr>
no SATA outright, but M.2 on an expansion board
<andi->
how much of the uboot, blobs (if any?) is an issue when porting nixos?
<andi->
I still have nightmares of that one FPGA+ARM board that has an outdated patched unmaintained uboot thats a pain in the ass to build :/
<andi->
(because of some binary blob that has to baked in)
<samueldr>
it's going to be a surprise
<samueldr>
but there is some sleuthing to be done first
<grw>
andi-: that was my experience tbh, eg tools which are only distributed as i686 binaries, random blobs from bsps
<samueldr>
my experience thus far: when you find proper build instructions, it's generally a good sign
<grw>
i think upstream support has improved a lot though
<samueldr>
and then, yeah, check upstream support before buying, if there's movement it's probably a good sign
<samueldr>
(in my case the fact that the vendor explicitly states mainline support made my choice easier)
<samueldr>
(let's see if it holds true ;))
<andi->
my experience with that is typically that there are so many marketing names and different product id that make it very hard to do an ad-hoc verification.
<andi->
like board super bla foo is actually $vendor-beta-3 or whatever
<samueldr>
yes! the proof is in the pudding; until you do the thing, you can't know for sure :/
<grw>
i think vendor supplied uboot supports extlinux, there is a change you can maybe just replace boot partition and have it all work
<samueldr>
^ depends on the downstream version (e.g. older forks)
<samueldr>
extlinux support is "relatively recent"
<samueldr>
(mind the quotes)
<andi->
those ek3399 boards really look neat.. I could imagine having my own little cluster of them at home... THey sound a lot more promising then RPi(3)'s
<samueldr>
e.g. the Amlogic fork used for the ODROID-C1 fork (before some bits were upstreamed) was old enough that it didn't support exlinux
<samueldr>
(but yeah, that's an old board)
<samueldr>
I assure you I'll be sharing successes and issues here :)
<andi->
samueldr++
<{^_^}>
samueldr's karma got increased to 21
<andi->
samueldr: don't hesitate to highlight me on the results (good & bad)
<samueldr>
I may not remember (ships in october)
<andi->
I'll remember you latest during nixcon :P
<sphalerite>
grw: thefloweringash is already someone running nixos on an rk3399 chromebook iirc
<grw>
oh nice- i thought someone here had one but couldnt remember if it was rk3399 or rk3288
<sphalerite>
grw: I have nixos running on an rk3288 chroomebook :D
<sphalerite>
so both
<grw>
:D
<sphalerite>
not much fun though because armv7 => compile ALL the things
<grw>
how does GPU work? you use mali blob?
<sphalerite>
nope, I just do without accel
<sphalerite>
I think thefloweringash uses the mali blob
<andi->
reminds me of starting to look into collecting all the pieces for the librem5
<Dezgeg>
etnaviv needs a separate X11 driver, doesn't it?
<andi->
mesa?
<Dezgeg>
no I mean one of those xf86-video-foo things
<andi->
maybe
<andi->
but as far as I know at leat purism is trying to run wiht wayland which wouldn't need that?
<Dezgeg>
at least on i.MX6 I couldn't get acceleration with just modesetting