#nixos-aarch64 on 2020-06-29

2019-09-27 17:31 gchristensen changed the topic of #nixos-aarch64 to: Get access to the NixOS Community aarch64 build box: https://github.com/nix-community/aarch64-build-box ... todo: https://hydra.nixos.org/jobset/nixpkgs/trunk#tabs-jobs build box status: https://status.nixos.org/grafana/d/5LANB9pZk/per-instance-metrics?orgId=1&refresh=30s&var-instance=147.75.77.190

00:05 orivej has quit [Ping timeout: 265 seconds]

00:06 bdju has quit [Remote host closed the connection]

00:06 bdju has joined #nixos-aarch64

00:38 <samueldr> I'm in

01:08 <ashkitten> !

01:08 <samueldr> yes!

01:09 <samueldr> the first non-vendor-built ROM (excluding the TWRP that uses the vendor kernel) for that device is AFAICT Mobile NixOS!

01:09 <samueldr> though I guess there is likely no one else who's gonna have one of those

01:19 orivej has joined #nixos-aarch64

01:23 bdju has quit [Remote host closed the connection]

01:23 bdju has joined #nixos-aarch64

01:39 orivej has quit [Ping timeout: 256 seconds]

01:40 orivej has joined #nixos-aarch64

01:47 orivej has quit [Quit: No Ping reply in 180 seconds.]

01:49 orivej has joined #nixos-aarch64

01:57 orivej has quit [Ping timeout: 246 seconds]

01:58 orivej has joined #nixos-aarch64

01:58 h0m1 has quit [Ping timeout: 260 seconds]

02:00 h0m1 has joined #nixos-aarch64

02:20 zupo has quit [Ping timeout: 264 seconds]

02:26 rajivr has joined #nixos-aarch64

02:33 orivej_ has joined #nixos-aarch64

02:33 orivej has quit [Ping timeout: 260 seconds]

02:38 knerten2 has joined #nixos-aarch64

02:41 knerten1 has quit [Ping timeout: 240 seconds]

02:41 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

02:43 orivej has joined #nixos-aarch64

02:48 bdju has quit [Quit: leaving]

02:48 bdju has joined #nixos-aarch64

02:50 orivej has quit [Ping timeout: 256 seconds]

02:51 orivej has joined #nixos-aarch64

02:53 kloenk has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

02:54 kloenk has joined #nixos-aarch64

02:58 orivej has quit [Read error: Connection reset by peer]

02:59 orivej has joined #nixos-aarch64

03:09 orivej has quit [Ping timeout: 265 seconds]

03:28 <c00w> Anyone here know how to tell nix-build to compile an aarch64 package? I'm trying to set up my rpi as a aarch64 builder for nix (running on a x86 machine).

03:29 <c00w> And I'm not seeing a way to tell nix-build, hey build this for aarch64 instead of x86_64

03:29 <clever> c00w: set the system arg when you import nixpkgs

03:30 <clever> nix-build '<nixpkgs>' --argstr system aarch64-linux -A nix

03:30 <c00w> Thank you!

03:30 <c00w> clever++

03:30 <{^_^}> clever's karma got increased to 463

03:30 <jwaksbaum[m]> You also should use [this](https://nixos.wiki/wiki/Distributed_build)

03:30 <c00w> Yeah - I found that wiki page and it looked doable

03:31 <c00w> so I was trying to figure out what i was missing on the nix-build side :)

03:33 <c00w> Now hopefully this build will error out on my x86_64 machine and I can get my rpi set up.

03:35 <c00w> Perfect - it errors :)

03:42 <c00w> Updated https://nixos.wiki/wiki/NixOS_on_ARM to include links to the rpi4 sd image

03:45 <samueldr> c00w: I'll edit and put this on the raspberry pi page

03:48 <c00w> Nice :) - I also didn't see a rpi4 anywhere in the supported device list

03:48 <samueldr> just added the row

03:48 <c00w> ty!

03:48 <c00w> samualdr++

03:48 <samueldr> the raspberry pi page is global

03:48 <samueldr> all instructions on the main page should be generic

03:53 <c00w> Nice - I'll go work through them to get this rpi4 set up

03:53 <c00w> Has anyone managed to get an encrypted root working with a raspberry pi?

03:54 <c00w> I've been trying for... longer than I'd like to admit? x86 no issues, but for some reason the raspberry pi always hangs

03:54 <samueldr> I did

03:54 <samueldr> hangs, as in no display?

03:54 <c00w> Do you happen to have the config you used?

03:54 <samueldr> no, but if it's no display, I know the fix

03:55 <samueldr> (on mainline, pi3)

03:55 <c00w> It's been a while since I last tried to debug this, but I think what happens is I see the stage0 (i.e. the initramfs).

03:55 <c00w> But then it never prompts me for a password

03:55 <c00w> and then goes blank on the display?

03:55 <c00w> I believe this was a rpi3b+

03:55 <samueldr> https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi#Early_boot_messages

03:55 <samueldr> boot.initrd.kernelModules = [ "vc4" "bcm2835_dma" "i2c_bcm2835" ];

03:56 <samueldr> the mainline kernel builds those as modules

03:56 <samueldr> and is not able to show things unless they are present

03:56 <samueldr> that's why you get no output between u-boot and stage-2 on a normal boot

03:56 <samueldr> (except for the sd image, where the config loads those!)

03:56 <c00w> Got it

03:57 <c00w> I'll try it out.

03:57 <c00w> I think I was missing vc4

04:14 <c00w> Using literally the newest build of rpi4 sd image may have been a mistake :|

04:14 <c00w> Since I'm now rebuilding the world

04:31 <c00w> I think everything is configured - kicking off my first distributed build :)

04:33 <samueldr> just in case the name wasn't set

04:33 <samueldr> https://stuff.samueldr.com/screenshots/2020/06/20200629003334_sr7qeym1p12vx0x1w2.png

04:33 <samueldr> the first time around

04:34 <samueldr> oh oops

04:34 <samueldr> I see the diff now

04:34 <samueldr> carry on

04:37 <c00w> And my remote build is working :) This is awesome. Time to go delete some sketchy ssh script.

04:39 <c00w> Now I just need to get an RPI4 booting off an ssd :D

05:29 <samueldr> I'm slowly getting the hang at adding and fixing things in kernel drivers, this is fun

05:30 <samueldr> like how I implemented a missing feature in the mediatek leds driver https://github.com/NixOS/mobile-nixos/pull/175/commits/51e7b891ff1280431f5c68b9decbeaeae98363ec

05:35 <ashkitten> nice!

05:36 <ashkitten> btw i haven't been keeping up with this channel much, did you ever get around to messing with libhybris or plasma mobile?

05:36 <samueldr> not yet

05:36 <samueldr> this is a distraction from the actual yak shaving I should have been working on :)

05:36 <ashkitten> hehe, that's valid

05:37 <ashkitten> if you get libhybris working i'd love to test on my phone

05:38 <samueldr> btw, mobile-nixos#175 is open with the port to the phone which doesn't have custom ROMs :) probably not useful to anyone

05:38 <{^_^}> https://github.com/NixOS/mobile-nixos/pull/175 (by samueldr, 58 minutes ago, open): device: add asus-x018d

06:42 orivej has joined #nixos-aarch64

06:49 t184256 has left #nixos-aarch64 ["Disconnected: Replaced by new connection"]

06:49 t184256 has joined #nixos-aarch64

06:53 orivej has quit [Quit: No Ping reply in 180 seconds.]

06:54 orivej has joined #nixos-aarch64

06:54 t184256 has left #nixos-aarch64 ["Error from remote client"]

06:57 t184256 has joined #nixos-aarch64

07:02 t184256 has left #nixos-aarch64 [#nixos-aarch64]

07:06 orivej has quit [Ping timeout: 258 seconds]

07:06 orivej has joined #nixos-aarch64

07:09 <patagonicus> Meh. After a reboot my SATA SSD isn't detected by the HC2. I thought this was the known problem that HDDs are not properly shut down when the board is shut down, but the fix for that (using hdparm -Y to put the disk to sleep) doesn't help with rebooting the SSD.

07:10 t184256 has joined #nixos-aarch64

07:10 pbb has quit [Remote host closed the connection]

07:10 <patagonicus> Maybe I should try with a HDD instead of an SSD. But that's a really annoying problem - I want to be able to automatically reboot for kernel updates. If I have to manually unplug the power for that, that's no good.

07:15 t184256 has left #nixos-aarch64 ["Error from remote client"]

07:18 orivej has quit [Ping timeout: 265 seconds]

07:18 orivej_ has joined #nixos-aarch64

07:32 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

07:33 orivej has joined #nixos-aarch64

07:36 zupo has joined #nixos-aarch64

07:42 orivej has quit [Ping timeout: 260 seconds]

07:42 t184256 has joined #nixos-aarch64

07:42 orivej has joined #nixos-aarch64

07:44 t184256 has left #nixos-aarch64 [#nixos-aarch64]

07:45 t184256 has joined #nixos-aarch64

07:50 t184256 has left #nixos-aarch64 [#nixos-aarch64]

07:53 orivej has quit [Ping timeout: 240 seconds]

07:53 orivej has joined #nixos-aarch64

08:02 orivej has quit [Quit: No Ping reply in 180 seconds.]

08:03 orivej has joined #nixos-aarch64

08:13 t184256 has joined #nixos-aarch64

08:23 zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:28 orivej has quit [Ping timeout: 258 seconds]

08:29 orivej has joined #nixos-aarch64

08:53 orivej has quit [Ping timeout: 265 seconds]

08:53 orivej has joined #nixos-aarch64

09:38 <patagonicus> The Hardkernel Ubuntu doesn't have that problem. I guess I'll have to check what patches they have in their kernel and then compare kernel settings - or does anyone have an idea what might be broken?

09:39 <patagonicus> The device is still showing up (i.e. I have /dev/sda), but I can't access it. There's a few error messages in dmesg, I'll grab them real quick.

09:42 <patagonicus> http://sprunge.us/dvaLV0 claims the unit is not ready.

09:43 <patagonicus> Hmm, there was something about an update for the SATA bridge firmware. But considering it doesn't happen on Ubuntu …

09:52 orivej has quit [Ping timeout: 256 seconds]

09:52 orivej_ has joined #nixos-aarch64

10:00 zupo has joined #nixos-aarch64

10:43 <patagonicus> Yeah, no, already at the newest version.

10:53 orivej_ has quit [Ping timeout: 260 seconds]

10:54 orivej has joined #nixos-aarch64

10:59 t184256 has left #nixos-aarch64 ["Disconnected: Replaced by new connection"]

10:59 t184256 has joined #nixos-aarch64

11:11 pbb has joined #nixos-aarch64

11:14 orivej has quit [Ping timeout: 240 seconds]

11:14 orivej has joined #nixos-aarch64

11:36 zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

11:36 orivej has quit [Ping timeout: 240 seconds]

11:37 zupo has joined #nixos-aarch64

11:37 orivej has joined #nixos-aarch64

11:52 t184256 has left #nixos-aarch64 [#nixos-aarch64]

11:57 <srk> maybe you can kexec as well :D

11:57 <patagonicus> Heh

12:07 <sphalerite> oh yeah, I have an unrebootable device too. It is a pain :)

12:08 <srk> esp8266 + relay :D

12:08 <srk> cheapo ipmi, you can use it as a wifi serial bridge as well :)

12:10 <patagonicus> Mine's bootable, but only once without unplugging power. :D

12:11 <patagonicus> Well, even that is not true, it boots off of an MicroSD card and that works, but considering I want to use it as network storage with a big HDD and that doesn't work after a reboot …

12:12 t184256 has joined #nixos-aarch64

12:18 orivej has quit [Ping timeout: 260 seconds]

12:18 orivej has joined #nixos-aarch64

12:41 orivej has quit [Ping timeout: 264 seconds]

13:34 alp has joined #nixos-aarch64

13:46 hpfr[m] has quit [Quit: killed]

13:46 Ox4A6F has quit [Quit: killed]

13:46 gmr has quit [Quit: killed]

13:46 goibhniu has quit [Quit: killed]

13:46 edrex has quit [Quit: killed]

13:46 thefloweringash has quit [Quit: killed]

13:46 puzzlewolf has quit [Quit: killed]

13:46 AberDerBart[m] has quit [Quit: killed]

13:46 Danct12[m] has quit [Quit: killed]

13:46 Ke has quit [Quit: killed]

13:46 bennofs[m] has quit [Quit: killed]

13:46 jwaksbaum[m] has quit [Quit: killed]

13:46 hsngrmpf[m] has quit [Quit: killed]

13:46 matthewbauer has quit [Quit: killed]

13:46 JJJollyjim has quit [Quit: killed]

13:46 atopuzov[m] has quit [Quit: killed]

13:46 Ericson2314 has quit [Quit: killed]

13:46 kai_w has quit [Quit: killed]

13:46 theotherjimmy[m] has quit [Quit: killed]

13:46 danielrf[m] has quit [Quit: killed]

13:46 leonardp has quit [Quit: killed]

13:46 NickHu has quit [Quit: killed]

13:46 bqy has quit [Quit: killed]

13:46 comrandroxaos[m] has quit [Quit: killed]

13:46 colemickens has quit [Quit: killed]

13:46 marius851000[m] has quit [Quit: killed]

13:46 cornu has quit [Quit: killed]

13:46 bigvalen[m] has quit [Quit: killed]

13:46 alj[m] has quit [Quit: killed]

13:46 exarkun_ is now known as tahoe

13:47 tahoe is now known as exarkun

13:49 zupo has quit [Ping timeout: 246 seconds]

13:50 exarkun is now known as tahoe

13:51 zupo has joined #nixos-aarch64

13:52 tahoe is now known as exarkun

14:00 hoverbear has joined #nixos-aarch64

14:09 Jake[m] has joined #nixos-aarch64

14:11 pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

14:12 pbb has joined #nixos-aarch64

14:22 orivej has joined #nixos-aarch64

14:43 orivej has quit [Ping timeout: 244 seconds]

14:45 orivej has joined #nixos-aarch64

14:54 yangm has joined #nixos-aarch64

14:54 Ke has joined #nixos-aarch64

14:54 danielrf[m] has joined #nixos-aarch64

14:54 alj[m] has joined #nixos-aarch64

14:54 thefloweringash has joined #nixos-aarch64

14:54 bqy has joined #nixos-aarch64

14:54 theotherjimmy[m] has joined #nixos-aarch64

14:54 hpfr[m] has joined #nixos-aarch64

14:54 atopuzov[m] has joined #nixos-aarch64

14:54 JJJollyjim has joined #nixos-aarch64

14:54 gmr has joined #nixos-aarch64

14:54 marius851000[m] has joined #nixos-aarch64

14:54 Ox4A6F has joined #nixos-aarch64

14:54 kai_w has joined #nixos-aarch64

14:54 NickHu has joined #nixos-aarch64

14:54 bennofs[m] has joined #nixos-aarch64

14:54 edrex has joined #nixos-aarch64

14:54 leonardp has joined #nixos-aarch64

14:54 goibhniu has joined #nixos-aarch64

14:54 Danct12[m] has joined #nixos-aarch64

14:54 matthewbauer has joined #nixos-aarch64

14:54 comrandroxaos[m] has joined #nixos-aarch64

14:54 Ericson2314 has joined #nixos-aarch64

14:54 cornu has joined #nixos-aarch64

14:54 dtz has joined #nixos-aarch64

14:54 AberDerBart[m] has joined #nixos-aarch64

14:54 hsngrmpf[m] has joined #nixos-aarch64

14:54 puzzlewolf has joined #nixos-aarch64

14:54 colemickens has joined #nixos-aarch64

14:54 bigvalen[m] has joined #nixos-aarch64

15:00 <patagonicus> Mainline 4.14.47 doesn't boot - at least not with the defconfig from the Hardkernel fork. Let's try current kernel with the settings from Hardkernel.

15:14 orivej has quit [Quit: No Ping reply in 180 seconds.]

15:16 orivej has joined #nixos-aarch64

15:32 dtz has left #nixos-aarch64 ["Kicked by @appservice-irc:matrix.org : Idle for 30+ days"]

15:38 orivej has quit [Ping timeout: 264 seconds]

15:38 orivej has joined #nixos-aarch64

15:47 orivej has quit [Quit: No Ping reply in 180 seconds.]

15:48 orivej has joined #nixos-aarch64

16:05 orivej has quit [Ping timeout: 258 seconds]

16:05 orivej has joined #nixos-aarch64

16:16 orivej has quit [Quit: No Ping reply in 180 seconds.]

16:17 orivej has joined #nixos-aarch64

16:20 patagonicus42 has joined #nixos-aarch64

16:22 patagonicus has quit [Quit: patagonicus]

16:22 patagonicus42 is now known as patagonicus

16:23 patagonicus has quit [Client Quit]

16:23 patagonicus42 has joined #nixos-aarch64

16:23 patagonicus has joined #nixos-aarch64

16:28 cole-h has joined #nixos-aarch64

16:49 orivej has quit [Quit: No Ping reply in 180 seconds.]

16:50 orivej has joined #nixos-aarch64

17:00 <lopsided98> My ODROID-XU4 refuses to warm reboot. It just hangs early in the kernel. Same with my RockPro64...

17:01 hoverbear has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

17:01 <lopsided98> It also becomes unstable when the little cores run at 1.5GHz, presumably because the core voltage is too low

17:24 <grw1> fwiw my hc1 does warm reboot ok, although i have nothing connected to sata port

17:34 rajivr has quit [Quit: Connection closed for inactivity]

17:54 bennofs_ has joined #nixos-aarch64

17:57 bennofs has quit [Ping timeout: 260 seconds]

18:01 hoverbear has joined #nixos-aarch64

18:09 orivej has quit [Quit: No Ping reply in 180 seconds.]

18:10 orivej has joined #nixos-aarch64

18:24 orivej has quit [Ping timeout: 246 seconds]

18:24 orivej has joined #nixos-aarch64

18:38 orivej has quit [Quit: No Ping reply in 180 seconds.]

18:39 orivej has joined #nixos-aarch64

18:47 orivej has quit [Ping timeout: 256 seconds]

18:47 orivej has joined #nixos-aarch64

19:00 orivej has quit [Ping timeout: 256 seconds]

19:01 orivej has joined #nixos-aarch64

19:52 alp has quit [Ping timeout: 272 seconds]

20:04 orivej has quit [Ping timeout: 260 seconds]

20:05 orivej has joined #nixos-aarch64

20:36 alp has joined #nixos-aarch64

20:48 <patagonicus> Well, yeah, my hc2 also reboots fine - except for the SATA port. But I have an image that works fine, I "just" have to figure out what to change in my nixos setup to make it work.

20:55 <patagonicus> Hmm. Current NixOS kernel with Hardkernel defconfig also doesn't work (but at least it boots).

20:56 <patagonicus> Tomorrow I'll try building the Hardkernel 4.14 kernel. If that also doesn't work it's probably some script that runs on shutdown or something.

21:01 orivej has quit [Ping timeout: 240 seconds]

21:02 orivej has joined #nixos-aarch64

21:03 cole-h has quit [Quit: Goodbye]

21:07 globin has quit [Ping timeout: 272 seconds]

21:21 orivej has quit [Quit: No Ping reply in 180 seconds.]

21:22 orivej has joined #nixos-aarch64

21:38 globin has joined #nixos-aarch64

22:38 quinn_ has quit [Ping timeout: 240 seconds]

22:40 pbb has quit [Read error: Connection reset by peer]

22:41 pbb has joined #nixos-aarch64

22:47 quinn has joined #nixos-aarch64

23:26 <cript0nauta> patagonicus: it's great to see other HC2 users!

23:26 <cript0nauta> i'm using NixOS lxd containers inside ubuntu, but I want to switch to a full NixOS soon

23:27 <cript0nauta> just to know, where did you get (or build) your working image?

23:36 orivej has quit [Ping timeout: 264 seconds]

23:37 orivej has joined #nixos-aarch64

23:44 orivej has quit [Ping timeout: 246 seconds]

23:45 orivej has joined #nixos-aarch64

23:52 hoverbear has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

23:59 orivej has quit [Ping timeout: 258 seconds]

23:59 orivej_ has joined #nixos-aarch64