<elvishjerricco> Hm. Is there a version of the android kernel specifically for qemu?
<samueldr> probably, AFAIK their emulator is or was qemu
<samueldr> (and in other news, I have reduced all possibilities, the kernel build has an issue, nothing else is different)
<samueldr> packing an android boot.img with all the same files, except the Image.gz-dtb which is different doesn't boot :/ while re-packing the same way using the postmarketOS build works
<elvishjerricco> Aw, I can't seem to get past `waiting for device /dev/disk/by-label/NIXOS_SD to appear...`
<samueldr> if you're using their defconfig, it may be missing a bunch of stuff nixos would use
<samueldr> e.g. kernel modules
<samueldr> got it!
<samueldr> using gcc7: no-go, using gcc6: go
<samueldr> (for my ancient 3.10 kernel)
<elvishjerricco> Yea I should look at the config used normally and maybe just use it wholesale.
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
<elvishjerricco> Ah, dm_mod wasn't in my config.
Acou_Bass has quit [Ping timeout: 248 seconds]
Acou_Bass has joined #nixos-aarch64
grahamc has quit [Quit: removing from IRC because user idle on matrix for 30+ days]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
<elvishjerricco> er, no, I just don't understand kernels... :P
<elvishjerricco> Anyway I got NixOS to boot over the android kernel in qemu. So that's sweet.
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
Sonarpulse has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
lopsided98 has quit [Remote host closed the connection]
lopsided98 has joined #nixos-aarch64
<elvishjerricco> What kernel do I need for the RPi 3 B+? This model is pretty new so it doesn't seem supported by the latest upstream kernel release.
<samueldr> not sure what the status is exactly https://github.com/NixOS/nixpkgs/issues/22014#issuecomment-379212423
<samueldr> uboot may or may not have been updated in the existing installer image
<elvishjerricco> samueldr: I believe rpi 3 b is fine in the kernel. But rpi 3 b+ doesn't seem to have a dtb yet
orivej has joined #nixos-aarch64
disasm has quit [Ping timeout: 240 seconds]
disasm has joined #nixos-aarch64
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64