#nixos-aarch64 on 2018-09-11

10:01 orivej has joined #nixos-aarch64

11:22 orivej has quit [Ping timeout: 252 seconds]

12:05 orivej has joined #nixos-aarch64

12:18 jtojnar has quit [Ping timeout: 264 seconds]

12:20 jtojnar has joined #nixos-aarch64

13:22 jtojnar has quit [Remote host closed the connection]

14:22 orivej has quit [Ping timeout: 245 seconds]

14:23 jtojnar has joined #nixos-aarch64

15:14 orivej has joined #nixos-aarch64

17:05 Ericson2314 has joined #nixos-aarch64

17:05 disasm_ has joined #nixos-aarch64

17:08 disasm has quit [Ping timeout: 246 seconds]

17:32 Thra11 has joined #nixos-aarch64

18:51 efraim has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

19:01 samrose has joined #nixos-aarch64

19:57 <samrose> Hello, I am searching for clues about building and installing nixos on the bananapi m64 trying to learn how these images and installers are produced https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/ Dezgeg if you have time it'd be great to connect with you on this

19:59 <samueldr> while I'm not Dezgeg, I can at least tell you where the scripts are: https://github.com/dezgeg/nixconfs

19:59 <samueldr> but for aarch64, it's different, this is more for armv6/7

19:59 <samrose> samueldr: ah thank you I will check it out

20:00 <samrose> samueldr: ah, good point ok

20:00 <samueldr> bananapi m64 is aarch64, right?

20:00 <samrose> yes it is aarch64

20:00 <samueldr> https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix

20:01 <samueldr> second line is the command used

20:01 <samueldr> I haven't verified, but I think hydra still doesn't build it :/

20:01 <samueldr> (last time I checked I wasn't able to find it)

20:01 <samrose> but a hydra instance *could* build this it seems eh?

20:02 <samueldr> definitely, I meant for cache.nixos.org :)

20:02 <samrose> samueldr: right on got you

20:02 <samrose> samueldr: so in addition to this sd image, I need a sunxi bin to boot the OS on m64 yes?

20:03 <samueldr> most probable

20:03 <samueldr> https://nixos.wiki/wiki/NixOS_on_ARM#Porting_NixOS_to_new_boards

20:04 <samrose> I also noticed line 21 "sd-image-aarch64.nix can be only built natively on Aarch64 / ARM64"

20:04 <samueldr> I wrote the "Building u-boot from your NixOS PC" section when doing an armv7l build and it worked

20:04 <samueldr> yeah

20:05 <samueldr> the nixos.org hydra has a (maybe multiple?) native aarch64 build

20:05 <samueldr> builder*

20:05 <samrose> so I need some form of aarch64 emulator

20:05 <samrose> or ARM64 emulation

20:05 <samueldr> it could be a slow way to bootstrap making the image, but you could use the older image if your board was supported at that point in time

20:06 <samueldr> though we have a couple notes for QEMU here https://nixos.wiki/wiki/NixOS_on_ARM/QEMU

20:06 <samrose> I think I could actually use the aarch64 image here https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/ in qemu as I got that working a while back

20:06 <samrose> samueldr: thank you very much

20:16 <sphalerite> samrose: or you could bootstrap it from a non-nixos linux distro on your bananapi

20:17 <Dezgeg> hydra does actually try to build them, but runs into the size limit: https://hydra.nixos.org/build/81199782

20:19 <samueldr> Dezgeg: what kind of work is required for this? janitorial level work or tricky surgery?

20:20 <Dezgeg> it could be compressed in the builder (though as even the ext4 fs is too big it'd be immediately be decompressed to build the full image and then compressed again)

20:20 <Dezgeg> maybe the limit is configurable on the hydra side

20:22 <sphalerite> are there any ARM devices with >4GB of RAM available to consumers?

20:22 <samueldr> sphalerite: define consumer :)

20:22 <sphalerite> samueldr: me :p

20:22 <samueldr> https://www.96boards.org/product/developerbox/

20:23 <samueldr> the other day graham linked this

20:23 <samueldr> that was the first time I saw *that* specific ARM workstation

20:23 <samueldr> 1 x 4GB DDR4-2133 UDIMM without ECC (up to 4 x 16GB DDR4-2133 RDIMM with ECC)

20:23 <sphalerite> oooh nice

20:23 <sphalerite> ooooh expensive

20:23 <samueldr> yeah

20:24 <samueldr> but compared to other aarch64 workstations, not *that* bad

20:24 <samueldr> (but definitely not cheap!)

20:24 <sphalerite> ooh and 24 cores

20:24 <samueldr> sphalerite: some discussion about it here https://logs.nix.samueldr.com/nixos-aarch64/2018-09-07

20:25 <sphalerite> oh yeah there's probably also a bunch of phones out there, but that's not really what I'm looking for because mainline linux :p

20:25 <samueldr> this costs even more: https://www.avantek.co.uk/store/avantek-thunderx2-arm-workstation-thunderx2station.html

20:26 <samueldr> (but is in a different league)

20:26 <sphalerite> oh yeah

20:29 <Dezgeg> samrose: as an alternative to qemu, AFAIK if you have some existing distro for the board you could install the standalone nix with the usual curl https://nixos.org/nix/install | sh and use that to build u-boot

20:40 <samrose> Dezgeg: thank you I am trying this right now https://nixos.wiki/wiki/NixOS_on_ARM#Building_u-boot_from_your_NixOS_PC

20:41 <Dezgeg> for 64-bit allwinner it's probably more complicated since ARM Trusted Firmware needs to be compiled as well

20:42 <samrose> Dezgeg: aha ok

20:42 <samrose> Dezgeg: I guess maybe I need to look at the tools from these folks? http://linux-sunxi.org/Sinovoip_Banana_Pi_M64

20:46 <Dezgeg> well on nixpkgs-side probably all you need to do is copy-paste the pine64 parts and replace them with bananapi64 parts

21:00 <clever> ive got a banana pi here, but i dont think its the 64bit model

21:15 Thra11 has quit [Ping timeout: 252 seconds]

22:43 clever_ has joined #nixos-aarch64

22:44 clever has quit [Ping timeout: 268 seconds]

22:47 clever_ has quit [Changing host]

22:47 clever_ has joined #nixos-aarch64

23:02 clever_ is now known as clever