#nixos-aarch64 on 2020-06-02

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

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

01:12 pbb has joined #nixos-aarch64

01:31 h0m1 has quit [Ping timeout: 246 seconds]

01:33 h0m1 has joined #nixos-aarch64

01:46 <samueldr> buying 10 16GB µSD cards when they were 3$CAD last year is still paying its dividends

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

02:30 cptchaos83 has joined #nixos-aarch64

02:49 Danct12 has joined #nixos-aarch64

02:57 Danct12 has quit [Quit: Leaving]

03:08 andi- has quit [Ping timeout: 272 seconds]

03:21 andi- has joined #nixos-aarch64

03:42 hexa- has quit [Quit: WeeChat 2.7.1]

03:44 hexa- has joined #nixos-aarch64

03:48 hexa- has quit [Client Quit]

03:50 hexa- has joined #nixos-aarch64

03:53 hexa- has quit [Client Quit]

03:54 hexa- has joined #nixos-aarch64

04:39 <fps> hmm, my boot/ partition has run full on my rpi4 using this config https://github.com/OGFX/ogfx-nixos-rpi4/blob/master/ogfx-nixos-sd-card.nix

04:39 <fps> https://github.com/OGFX/ogfx-nixos-rpi4/blob/master/configuration.nix

04:48 <fps> now i wonder if it's safe to delete the contents of /boot/old/

04:53 <lopsided98> fps: I think they should be deleted if you run nix-collect-garbage -d and then rebuild

04:55 <fps> lopsided98: i tried sudo nix-collect-garbage -d. they are still there. will try a rebuild now then

04:55 <samueldr> lopsided98: collection never collects boot related files

04:56 <samueldr> lopsided98: well, when they are copied

04:56 <samueldr> (it would collect those in /nix/store if it directly uses nix store paths)

04:57 <samueldr> I intend to look into the u-boot + pi4 kernel situation tomorrow, see if we can make an image that is mostly the same as the other one, but with the foundation's kernel

04:57 <fps> that's what i figured.

04:57 <samueldr> such an image should be in-place upgradable to a full mainline image once mainline is fully compatible with the pi (if desired)

04:58 <samueldr> and at the very least, it won't have that issue of /boot filling up

04:58 <lopsided98> nix-collect-garbage -d deletes the old generations, and then the raspberry pi bootloader builder deletes the old files when the next rebuild occurs because it sees the generations have disappeared

04:58 <lopsided98> See: https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/system/boot/loader/raspberrypi/raspberrypi-builder.sh#L136

04:58 <samueldr> lopsided98: yeah, should have added that to my "correction", once you rebuild it will be collected, sorry

04:58 <samueldr> oh dang

04:58 <samueldr> I dropped "and then rebuild" when I read, sorry

05:00 <lopsided98> np

05:02 <fps> it seems to not work anyways ;)

05:02 <samueldr> it might be a catch-22, deleting old after a successful copy

05:03 <samueldr> you could move the old directory from the boot partition if you want to be 100% safe

05:03 <samueldr> or just nuke it

05:03 <fps> https://pastebin.com/KK93LBGt

05:03 <fps> yeah, i'll move it off

05:03 <fps> thanks

05:04 <samueldr> IIRC the same issue exists for grub, it'll try to copy first, and then remove

05:04 <samueldr> (in our scripts for grub, I must say to be more precise)

05:08 <fps> hmm, i think this only happened after a couple of generations. there are a couple of initrd's lying in the old/ folder

05:09 <samueldr> that sounds about right

05:09 <samueldr> right as in proper observation, not right as in proper behaviour

05:09 <fps> ok

05:11 <fps> so i suspected old generation files were never removed contrary to what was said further up.

05:11 <fps> ooh, i get it now. only garbage-collected generations are consequently removed

05:11 <samueldr> yep

05:17 <fps> which i avoided because i didn't want to lose my build outputs for my sdcard builds ;)

06:11 alp has joined #nixos-aarch64

06:41 lovesegfault has quit [Quit: WeeChat 2.8]

06:45 lovesegfault has joined #nixos-aarch64

06:58 orivej has quit [Ping timeout: 256 seconds]

06:58 orivej_ has joined #nixos-aarch64

07:15 orivej_ has quit [Ping timeout: 256 seconds]

07:20 quinn has quit [Quit: ZNC 1.7.5 - https://znc.in]

08:48 FRidh has joined #nixos-aarch64

09:23 orivej has joined #nixos-aarch64

11:53 <angerman> how do I get nixos to resize the root partion on the next boot? It appears it didn't do that initially.

12:04 <makefu> angerman: maybe one of https://nixos.org/nixos/options.html#grow ?

12:04 <makefu> fileSystems.<name?>.autoResize or boot.growPartition

12:14 <angerman> makefu: thanks!

12:34 <angerman> Hmm, so what do I need to do to get pcie-nvme support in nixOS?

12:46 <makefu> angerman: boot.initrd.availableKernelModules = [ "nvme" ]

12:55 <angerman> thanks!

13:24 <kahiru> hey, since some time ago my nixos vm running under hyperv is not able to see a physical disk I'm passing to the vm. any ideas?

13:25 <kahiru> oops, dammit, wrong channel

13:30 <delroth> who would be a good reviewer for https://github.com/NixOS/nixpkgs/pull/89317 on the arm64 side of things?

13:30 <{^_^}> #89317 (by delroth, 21 hours ago, open): patchelf: increase the page size alignment on Aarch64 to support 64K pages

13:31 ryantrinkle has joined #nixos-aarch64

13:51 dongcarl has joined #nixos-aarch64

13:51 <gchristensen> delroth: I wonder if that should go upstream

13:54 simpson has quit [Remote host closed the connection]

14:00 simpson has joined #nixos-aarch64

14:01 <delroth> gchristensen: I think ideally it should, but I'm not super confident about the fact that it can get there any time soon + get in a release.

14:01 <delroth> patchelf is currently broken for cross-compilation between systems that have different max page sizes, and it's not reproducible on systems that can have different max page sizes on the same system

14:17 julm_ has joined #nixos-aarch64

14:18 julm has quit [Ping timeout: 260 seconds]

14:33 julm has joined #nixos-aarch64

14:34 julm_ has quit [Quit: leaving]

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

15:25 cole-h has quit [Quit: Goodbye]

15:30 cole-h has joined #nixos-aarch64

17:49 zupo has joined #nixos-aarch64

17:53 orivej has joined #nixos-aarch64

18:00 FRidh has quit [Ping timeout: 246 seconds]

18:01 FRidh has joined #nixos-aarch64

18:18 FRidh has quit [Quit: Konversation terminated!]

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

19:07 zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

19:32 Thra11 has joined #nixos-aarch64

19:44 zupo has joined #nixos-aarch64

20:05 alp has joined #nixos-aarch64

20:14 alp has quit [Ping timeout: 246 seconds]

21:04 zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:41 alp has joined #nixos-aarch64

22:12 <samueldr> dan_b`: if you try the LED thing, the patch is highly WIP, so it'd require cleanups I suppose, but if it's going to work for your device, the patch should be sufficient

22:57 quinn has joined #nixos-aarch64

22:57 quinn has quit [Client Quit]

23:00 globin_ has quit [Ping timeout: 260 seconds]

23:02 globin_ has joined #nixos-aarch64

23:02 orivej has joined #nixos-aarch64

23:08 quinn has joined #nixos-aarch64

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

23:56 orivej has joined #nixos-aarch64

23:56 alp has quit [Ping timeout: 246 seconds]