Sonarpulse has quit [Ping timeout: 260 seconds]
bergbob has joined #nixos-aarch64
<bergbob> Hi. I'm having trouble getting aarch64 nixos to boot on my rpi 3 b+.
<bergbob> It starts, I see the 4 pixels of colors on the display, and the green led flashes 4 long flashes followed by 4 short flashes.
<bergbob> I followed all the instructions at https://nixos.wiki/wiki/NixOS_on_ARM
<bergbob> I'm not sure what to do.
<Dezgeg> bergbob: you need to wait until Linux 4.18 is released
orivej has quit [Ping timeout: 245 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
Sonarpulse has joined #nixos-aarch64
<elvishjerricco> Dezgeg: bergbob: The newest linux-rpi fork supports it. That's what I'm using
<Dezgeg> in 32-bit only, I suppose
<elvishjerricco> Oh is it? I didn't think it was
<Dezgeg> linux_rpi shouldn't evaluate on aarch64
<elvishjerricco> Dezgeg: Hm I think I have though.... I'll check it out when I get home. How can I check if a kernel binary is 32 bit or 64 bit?
<Dezgeg> you boot and check uname
<elvishjerricco> I was hoping I could do it without booting it :P But that'll work
thefloweringash[ has quit [Ping timeout: 255 seconds]
cornu1 has quit [Ping timeout: 256 seconds]
timokau[m] has quit [Ping timeout: 260 seconds]
bkchr[m] has quit [Ping timeout: 260 seconds]
sphalerit has quit [Ping timeout: 240 seconds]
codyopel has quit [Ping timeout: 260 seconds]
nocent has quit [Ping timeout: 256 seconds]
dtz has quit [Ping timeout: 260 seconds]
duncan^ has quit [Ping timeout: 260 seconds]
duncan^ has joined #nixos-aarch64
Sonarpulse has quit [Ping timeout: 276 seconds]
bkchr[m] has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
codyopel has joined #nixos-aarch64
dtz has joined #nixos-aarch64
sphalerit has joined #nixos-aarch64
nocent has joined #nixos-aarch64
timokau[m] has joined #nixos-aarch64
cornu has joined #nixos-aarch64
thefloweringash[ has joined #nixos-aarch64
<bergbob> Oh, hey. Looks like the arm7l version works on it. That'll have to do for now.
<bergbob> I mean, it boots, but there's an error.
<bergbob> It says it can't read file bcm283x-rpi-other.dtb. That's on both my rpi3b and rpi3b+
orivej has joined #nixos-aarch64
<bergbob> And I can confirm that file doesn't exist on the SD card.
<bergbob> Looks like it may be related to this: https://github.com/NixOS/nixpkgs/issues/22014
<bergbob> Looks like I may have to just wait for the 4.18 kernel after all. :-(
<bergbob> Okay, I got it to boot okay on my rpi3b by downloading https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/uboot-rpi_defconfig-2018.03_u-boot.bin and doing `sudo dd if=./uboot-rpi_3_32b_defconfig-2018.03_u-boot.bin of=/dev/mmcblk0 status=progress bs=1024 seek=8` on top of the existing file system.
<bergbob> ...maybe I could get it to work by making the appropriate uboot bin myself.
bergbob has quit [Ping timeout: 260 seconds]
bergbob has joined #nixos-aarch64
<elvishjerricco> Dezgeg: uname -a
<elvishjerricco> Linux nixos 4.14.34 #1-NixOS SMP PREEMPT Thu Jan 1 00:00:01 UTC 1970 aarch64 GNU/Linux
bergbob_ has joined #nixos-aarch64
bergbob has quit [Ping timeout: 260 seconds]
<elvishjerricco> bergbob: The latest release of the github.com/raspberrypi/linux kernel seems to do aarch64 on the 3 b+ just fine. That dtb file uboot was looking for is present, but I had to make sure I had this commit: https://github.com/NixOS/nixpkgs/commit/a8c898be6071c461961b4572afe3b72b7c831fc7
<Dezgeg> how do you get past https://github.com/NixOS/nixpkgs/blob/master/pkgs/os-specific/linux/kernel/linux-rpi.nix#L18 without modifying the nix expression?
<elvishjerricco> Dezgeg: Oh I'm on an old nixpkgs; I cherry picked that commit
<Dezgeg> well sure it will then probably work to some extend but afaik that is not simply supported by the raspberry people
<elvishjerricco> Dezgeg: Really? Then why do they have patches for the 3 b +? Do they just expect you to use it 32bit?
<Dezgeg> yes
<Dezgeg> they only ship v6 userspace and v6/v7 kernels
<elvishjerricco> Any idea what doesn't work / why they don't support it?
<Dezgeg> don't know the specifics, maybe clever had some idea
<Dezgeg> IIRC
<elvishjerricco> Dezgeg: Why would upstream 4.18 have support for 64bit if the people working on rpi support for linux don't support it?
<Dezgeg> it's separate people adding the upstream support
<bergbob_> At the moment, I can wait for full aarch64 support so long as I can get nixos 32-bit running on my pi.
<bergbob_> I'm not so picky.
<elvishjerricco> Dezgeg: Do you know if it's working in linux-next? I'd be willing to give that a shot