Acou_Bass has quit [Ping timeout: 252 seconds]
Acou_Bass has joined #nixos-aarch64
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-aarch64
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-aarch64
lopsided98 has joined #nixos-aarch64
jtojnar has quit [Read error: Connection reset by peer]
jtojnar has joined #nixos-aarch64
jtojnar has quit [Read error: Connection reset by peer]
jtojnar has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 252 seconds]
disasm_ is now known as disasm
flokli has quit [Quit: WeeChat 2.0.1]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 252 seconds]
orivej has joined #nixos-aarch64
lopsided98 has quit [Ping timeout: 240 seconds]
lopsided98 has joined #nixos-aarch64
orivej has quit [Ping timeout: 250 seconds]
lopsided98 has quit [Ping timeout: 240 seconds]
lopsided98 has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 245 seconds]
<samrose> ho! I got a build running on the bananapi m64 over here! if it all works I will have a PR ready to go samueldr thanks again
jtojnar has quit [Read error: Connection reset by peer]
jtojnar has joined #nixos-aarch64
<makefu> make sure to add it to https://nixos.wiki/wiki/NixOS_on_ARM :)
<samrose> makefu: good call will do
<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
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 252 seconds]
jtojnar has quit [Quit: jtojnar]
jtojnar has joined #nixos-aarch64
jtojnar has quit [Quit: jtojnar]
samrose has quit [Ping timeout: 252 seconds]
samrose has joined #nixos-aarch64
<samrose> Dezgeg: is it the case that when you are building https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix and the resulting output image at https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/sd-image-aarch64-linux.img that you have an actual ARM machine somewhere that is running that build and then placing the results on the https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/install
<Dezgeg> yes
<samrose> this is like the kind of machine that samueldr was chatting about a couple days ago (for example https://www.96boards.org/product/developerbox/ )
<samrose> thnx Dezgeg
<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
<grw> here is one with m.2 slot: https://www.friendlyarm.com/index.php?route=product/product&product_id=225
<samueldr> there are multiple rk3399 boards with differing features
<samueldr> the one I ordered (renegade elite) should even have EFI support for fun times
<andi-> that linked product looks appealing
<grw> it has ddr3 as opposed to ddr4 on samueldr's, dont know if this make a difference in real world
<samueldr> :)
<samueldr> I bet it would be marginal
<makefu> neat, thanks
<samueldr> ftr, https://libre.computer/products/boards/roc-rk3399-pc/ is the one I ordered
<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
<Dezgeg> but that's a long time ago I tried that
<andi-> it seems like someone made it work: https://github.com/etnaviv/libetnaviv/issues/1
<{^_^}> etnaviv/libetnaviv#1 (by danboid, 1 year ago, closed): galcore headers
<Dezgeg> that doesn't really tell whether this xf86-video-armada is needed or not
<andi-> it sounded like they got it working with that but yeah.. nothing very definitiv :/