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
19:01
samrose has joined #nixos-aarch64
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: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: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: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
<
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: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: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: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: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: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: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: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