<samueldr>
I cargo culted it a bit by getting inspiration from other motorola firmware listing on postmarketOS, to know whether I would be missing a file still or not
<samueldr>
you have two different versions of the kernel going, and it's a possibility that LineageOS backported some files from another device instead of what was shipping with the phone
<samueldr>
and now, question for the room: how would you handle semantically equivalent files, like firmware files, that the user has to provide in some way?
dongcarl has quit [Read error: Connection reset by peer]
<samueldr>
requireFile wouldn't really work because, first, it's multiple files, so it'd need to be reproducibly archived to work well, and second, because it's hashed; I assume files may differ if the user did all OEM upgrades or not
<samueldr>
and possibly even through all the variants sold in the world
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
apache8080 has joined #nixos-aarch64
<apache8080>
has anyone here successfully booted nixos on a jetxon AGX xavier?
samrose has quit [Ping timeout: 256 seconds]
samrose has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
apache8080 has quit [Remote host closed the connection]
dongcarl has joined #nixos-aarch64
samrose has quit [Ping timeout: 240 seconds]
samrose_ has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
pkral has quit [Ping timeout: 246 seconds]
pkral has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
cole-h has quit [Quit: Goodbye]
orivej_ has quit [Ping timeout: 246 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
<Ke>
substitute(): ERROR: file '/nix/store/w576qsij0l6wxgh21bxlbk46sz3cpfg8-builder.pl' does not exist <- anyone know this error?
<Ke>
substitute(): ERROR: file '/nix/store/w576qsij0l6wxgh21bxlbk46sz3cpfg8-builder.pl' does not exist <- anyone know this error?
<Ke>
substitute(): ERROR: file '/nix/store/w576qsij0l6wxgh21bxlbk46sz3cpfg8-builder.pl' does not exist <- anyone know this error?
dongcarl has quit [Read error: Connection reset by peer]
veleiro has quit [Ping timeout: 256 seconds]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
<bennofs[m]>
DigitalKiwi: linuxPackages_5_6 works for me
<bennofs[m]>
Just 5_7 does not
<Ke>
not sure if I spammed alot or just one line, matrix is bugging again
samrose_ has quit [Ping timeout: 265 seconds]
dongcarl has quit [Read error: Connection reset by peer]
samrose_ has joined #nixos-aarch64
dongcarl has joined #nixos-aarch64
<Ke>
my issue was obviously not running as root
<Ke>
apparently it was many lines
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
taktoa[c] has quit [Read error: Connection reset by peer]
jackdk has quit [Ping timeout: 260 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
jackdk has joined #nixos-aarch64
taktoa[c] has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
pkral has joined #nixos-aarch64
pkral has quit [Changing host]
jackdk has quit [Changing host]
jackdk has joined #nixos-aarch64
taktoa[c] has joined #nixos-aarch64
taktoa[c] has quit [Changing host]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
goibhniu has quit [Quit: Idle for 30+ days]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
alp has joined #nixos-aarch64
dongcarl has joined #nixos-aarch64
<Ke>
ok getting nixos on qemu only took a couple of hours of work
<eyJhb>
Ke: isn't that build in, when you want a VM?
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
<Ke>
builtin how?
<bennofs[m]>
there is nixos-rebuild build-vm
<Ke>
I have asked for prebuild aarch64 images and noone replies, so I assume there are none
dongcarl has quit [Read error: Connection reset by peer]
<Ke>
that page is about the most inhospitable place in the solar system, how much lobbying would it take to get the installer in downloads even at the level debian publishes installers for other platforms
dongcarl has joined #nixos-aarch64
<Ke>
there's like a mix of philosophy and unix basics and then the one useful bit of info
<Ke>
maybe can put the installer to image listings, if everything else is impossible
<Ke>
also doesn't help that table of contents is unlike wikipedia listed in the side panel
<sphalerite>
So I've finally got a power supply for the jetson nano… now I wonder what's the least worst option to get it set up as a nix builder, specifically for storage.
<sphalerite>
Do I want nfs or do I want to suffer an SD card?
<sphalerite>
I guess suffering lies along both paths :/
rajivr has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
zupo has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
alp has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
orivej has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
spacekookie has left #nixos-aarch64 ["*swoosh*"]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FRidh has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
zupo has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
FRidh has quit [Quit: Konversation terminated!]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
lordcirth__ has joined #nixos-aarch64
lordcirth_ has quit [Ping timeout: 240 seconds]
dongcarl has quit [Read error: Connection reset by peer]
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dongcarl has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo has quit [Client Quit]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
alp has quit [Ping timeout: 272 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
rajivr has quit [Quit: Connection closed for inactivity]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
knerten2 has quit [Ping timeout: 265 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
<nature>
Hey again, I was there a few days ago, tried installing nixos on my raspberry pi 4 without hdmi, I tried compiling manually the image with `boot.binfmt.emulatedSystems = [ "aarch64-linux" ];` option but it failed and I was told it doesn't work, I was suggested to try to blindly input `sudo systemctl start sshd` `sudo passwd nixos` but it failed as well
<nature>
if anybody has a suggestion, it'll be welcome :)
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
alp has joined #nixos-aarch64
dongcarl has joined #nixos-aarch64
bennofs has joined #nixos-aarch64
bennofs_ has quit [Ping timeout: 264 seconds]
cole-h has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
zupo has joined #nixos-aarch64
dongcarl has quit [Read error: Connection reset by peer]
dongcarl has joined #nixos-aarch64
zupo has quit [Ping timeout: 264 seconds]
dongcarl has quit [Read error: Connection reset by peer]
<nature>
I guess I am just gonna try to compile it from my other raspberry pi...
<samueldr>
if you pick a commit of nixpkgs where the rpi4 image was built successfully as a starting point it shouldn't take too long
dongcarl has joined #nixos-aarch64
<Ke>
nature: I wouldn't be amazed if it's faster to run on a desktop, even if you have to do full system emulation
<samueldr>
it'll take some time to write the image and compress, mostly
<samueldr>
[17:20:56] <nature> Hi, I am having some trouble building an image for my rpi4, I have the following logs after nix-build: https://paste.rs/st6
<samueldr>
Ke: looks like qemu-user is failing for nature
<samueldr>
(from some days ago)
<samueldr>
>> semop(1): encountered an error: Function not implemented
<Ke>
I mean qemu-system, most things would come from cache
alp has joined #nixos-aarch64
<samueldr>
qemu-system is incredibly slow
<samueldr>
when doing emulation
<samueldr>
a pi 3 is almost certain to be starter
<samueldr>
oops, faster
<Ke>
last I tried it was alot faster than I thought
<Ke>
dammit my template started compiling rust
<Ke>
I have native vm though
<samueldr>
yeah, qemu using kvm on aarch64 is quick
<Ke>
but normally nix has been faster for me than dpkg and I did some aarch64 emulated testing with debian including going through the installer and it was a ok for cmdline use
<Ke>
probably I did something else for the longer waits
<Ke>
assuming you get mostly cache hits and compile almost nothing
<Ke>
not sure why unstable is so poorly cached now, is it just that hw can't keep up?
<samueldr>
_nixos_-unstable doesn't build; it ends up relying transitively on the nixpkgs jobsets
<samueldr>
and stable doesn't at all
<samueldr>
no, it does at minimal
<samueldr>
it builds the iso and sd image but nothing more IIRC
<samueldr>
things got in the way since the last release, I was supposed to try and schedule some time to figure out (with other people) what can and should be done about that
<samueldr>
most "raspberry pi first" distros end up being 32 bit
<nature>
aarch64
<nature>
it's a rpi4 as well
<nature>
oh wait no
<nature>
it's a armv7
<nature>
you were right
<samueldr>
the *distro* :)
<samueldr>
common and easy mistake
<nature>
indeed ^^'
<samueldr>
the raspberry pi foundation, for the longest time, didn't support at all 64 bit
<nature>
yeah this docker thing really seems the best option for now
<samueldr>
and since recently (a couple months) they started working on it
<samueldr>
if you end up using dietpi and docker, you'll build an armv7l nix, and will work on armv7l; which might not be helpful in building aarch64 nixos
<nature>
nono I am gonna use docker thing on my laptop
<samueldr>
ah, didn't look at the linked page at all
<samueldr>
depending on why qemu-user gave you that issue, it might just as well fail the same way
<nature>
ok let's pray then...
<samueldr>
hopefully it's different enough to not
<samueldr>
just wanted to temper your expectations
<nature>
Thanks haha
<samueldr>
mobile-nixos#196 might need some suggestions about a strategy to use to provide semantically equivalent, but different, files to a build
<samueldr>
would something like `modem = throw "Provide the content of the `modem` partition using .override({ modem = ./path/to/modem; })"` work and not be too laborious?
<samueldr>
in addition to notes on that device's specific documentation page
orivej has joined #nixos-aarch64
<nature>
it seems that docker is stuck...
<nature>
do you have any other suggestion as to what to try ?
<samueldr>
an aarch64 distro for the pi and whatever you were attempting earlier with the armv7 distro