<samueldr>
there's not much Mobile NixOS can do here I think
<samueldr>
uh
<samueldr>
let me verify
<samueldr>
hm
<samueldr>
maybe composeConfig doesn't play well with that
<samueldr>
but that should be easy to fix
<elvishjerricco>
`No partition table` also `card did not respond to voltage select`
<elvishjerricco>
There most certainly is a partition table
<elvishjerricco>
Is my card borked or something?
<samueldr>
"card did not respond to voltage select" means that the board does not see the card
<elvishjerricco>
oh
<elvishjerricco>
wut
<samueldr>
like, it tried to pass electricity to it and it was an open circuit
<elvishjerricco>
Well it was certainly in there
<samueldr>
it might be a bad contact
<samueldr>
sometimes some boards don't like being rebooted
<elvishjerricco>
I took it out and put it back at least once
<samueldr>
and only power off / on cycle works
<samueldr>
elvishjerricco: try rubbing the contacts on the card
<elvishjerricco>
samueldr: This was after a power off / on
<samueldr>
just with your clean finger, not too strongly, but not weakly
<elvishjerricco>
samueldr: Well I can plug it into a usb adapter and read that from the very same pi
<elvishjerricco>
using another card with an image that does boot
<samueldr>
yeah
<samueldr>
but try it anyway
<elvishjerricco>
sure. I'm flashing ubuntu on this card now, then I'll be able to try
<samueldr>
might be that there's just enough light corrosion or something at just the right location for _that_ reader (the built-in reader of the board)
<samueldr>
not all readers are equal after all
<elvishjerricco>
samueldr: Well the Ubuntu image booted on this card
<elvishjerricco>
Let's try putting the NixOS image on it again...
<elvishjerricco>
Huh... I updated the eeprom for usb boot support. It boots but then kernel panics on "Attempted to kill init"
<samueldr>
good news it can boot from usb
<samueldr>
but uh, a bit concerning I guess :)
<samueldr>
since you played in a custom stage-1 a bit, you must know what that means
<elvishjerricco>
Going back to the sd slot, works fine
<samueldr>
so the eeprom firmware update _may_ have changed something that helped with the sd slot and u-boot?
<elvishjerricco>
samueldr: Oh, no I'm starting with the raspios image just to see if I have usb boot
<samueldr>
ah
<samueldr>
good idea though
<samueldr>
start from expected good values
<samueldr>
start from expected good values
<samueldr>
start from expected good valuesd
<samueldr>
oops
<samueldr>
that explains why the terminal wasn't updating
<elvishjerricco>
Lol
<samueldr>
I assumed it was laggy because it often is with that device
<elvishjerricco>
It boots the kernel, the kernel spits out a bunch of stuff about usb, seemingly normal, and then barfs a bunch of `CPU1: stopping` and whatnot preventing me from seeing any messages for more than a fraction of a second before it stops.
alpernebbi has joined #nixos-aarch64
<samueldr>
raspios or nixos?
<elvishjerricco>
raspios
<samueldr>
fresh image from them? that would be odd that it fails on the CM4
<elvishjerricco>
Oh wait. Saw something about a read error
<elvishjerricco>
It works in the sd card slot, just not in a USB adapter
<samueldr>
oh, not all usb card readers will work exactly as a usb flash drive
<samueldr>
you're better off with a classic usb drive
<samueldr>
I'm not sure why, and I know it's not universal
<elvishjerricco>
Ah. Well I have none of those...
<elvishjerricco>
Is there any way to see the kernel messages before the panic?
<sphalerite>
serial
<elvishjerricco>
Oh gosh. I have no idea how to access serial on this thing
<samueldr>
I would assume the same GPIO pinout, but maybe check
<elvishjerricco>
It is the same gpio pin out but that does not mean I know how to use that for serial :P
<LinuxHackerman>
do you have a USB-UART adapter?
<samueldr>
the topic should contain "have your serial adapter at the ready!"
<LinuxHackerman>
yes
<elvishjerricco>
Lol well I guess I'm going back to the sd slot...
<samueldr>
since peter robinson had the same issue (seemingly) as you did with sd
<samueldr>
I'm thinking u-boot won't work just now
<samueldr>
you could look at the raspberry pi 4 sd image builder derivation, and (locally) revert the update that changed it to use u-boot
<samueldr>
note that there are a few caveats, like bad mount point configuration in such a built system
<samueldr>
but it would boot using the kernel directly
<elvishjerricco>
samueldr: Peter Robinson? Did he write down the things he tried anywhere?
<samueldr>
not as far as I can tell
<samueldr>
it was the reply I linked to earlier
<elvishjerricco>
Ah
<samueldr>
the name is well-known, IIRC at fedora, paid to work on ARM boards
<elvishjerricco>
I have a feeling that I'm going to get some variation of this problem when linux tries to read the sd card as well
<elvishjerricco>
Should that happen, I'll see if a newer rpi kernel fixes it
<samueldr>
because it's the vendor kernel
<samueldr>
vs. a mainline not-vendor u-boot
<samueldr>
but yeah, you might need an updated kernel
<samueldr>
in fact
<elvishjerricco>
samueldr: Right, but is the vendor kernel in nixpkgs up to date?
<samueldr>
maybe
<samueldr>
something quicker to try first
<samueldr>
update the raspberry pi firmware package
<samueldr>
which contains the .dtb file
<elvishjerricco>
Ah, that's interesting
<samueldr>
maybe that's an important difference
<samueldr>
since .dtb describes hardware
<samueldr>
u-boot uses that to know about the hardware
<elvishjerricco>
yea
<elvishjerricco>
I'll probably update the kernel too just in case
<samueldr>
not a bad idea either, but it would be quicker to just update the raspberrypifw package and build an image :)
<samueldr>
you'll see quickly if u-boot fails or not
<samueldr>
afterwards, yes please feel free to update the kernel package :)
<elvishjerricco>
Oh, I'm guessing the kernel package is actually built from source, isn't it?...
<elvishjerricco>
Not looking forward to building a kernel on this thing
<samueldr>
exactly
<elvishjerricco>
What would be faster, 32 threads of qemu emulation, or 4 threads of rpi cpu?
<samueldr>
true qemu emulation, slow
<samueldr>
qemu-user, probably faster
<samueldr>
but really
<elvishjerricco>
qemu-user?
<samueldr>
sd card = deadly slow
<samueldr>
binfmt thing
<elvishjerricco>
samueldr: Oh, yea I have the binfmt thing
<samueldr>
that's qemu-user[space] emulation
<elvishjerricco>
yep
<samueldr>
while qemu-system would be a full system and yes be slow
<samueldr>
but really where the rubber meets the road, SD cards are terrible
<elvishjerricco>
but with qemu-user, 32x emulated (threadripper 1950X), or 4x rpi?
<samueldr>
most likely qemu-user would end up faster due to more parallelization
<samueldr>
on an RK3399 device I compared SD card perfs vs. NVMe and it caused literally the system to go from unresponsive while building to still be usable
<elvishjerricco>
Yea building the kernel pushes my cpu to 100 for like 95% of the build
<samueldr>
and not only that, but builds were multiple times faster
<elvishjerricco>
oh that's cool
<elvishjerricco>
Yea I guess it would spend a very nonnegligible amount of time just waiting on the sd
<samueldr>
yes, SD cards destroy the iowait
<elvishjerricco>
Alright. Now to rebuild my sd image...
zupo has joined #nixos-aarch64
<elvishjerricco>
Well... did not know that raspios was built for arm7l... Thought it was aarch64. Now I gotta image ubuntu again
<samueldr>
heh
<samueldr>
vendors!
<elvishjerricco>
Wonder why they use armv7l
<samueldr>
raspberry pi 2
<samueldr>
*and* lots of non-free bits and bobs other vendors shipped for the pi ecosystem
<elvishjerricco>
hmph well I'm gonna pout about it
<samueldr>
yeah, raspberry pi, strictly my opinion here, are not good vendors for aarch64 and arm
<samueldr>
(talking SBCs, don't really know about their new silicon)
<elvishjerricco>
I'm glad they exist though. I'm guessing they're a major reason other vendors decided to start making similar SBCs.
<samueldr>
they helped
<elvishjerricco>
God dammit. Every time I image this card I forget that the CM4 has this very annoying quirk where you have to add a line to config.txt or else the usb ports are disabled
<samueldr>
oh
<elvishjerricco>
I don't think that's why usb boot didn't work; iirc I had made that change already
Darkmatter66 has joined #nixos-aarch64
cole-h has quit [Ping timeout: 264 seconds]
<elvishjerricco>
Darn. Updating the firmware didn't help
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has joined #nixos-aarch64
lopsided98 has quit [Ping timeout: 258 seconds]
lopsided98 has joined #nixos-aarch64
dev_mohe has joined #nixos-aarch64
dev_mohe has quit [Client Quit]
zupo has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 272 seconds]
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
<patagonicus>
Oh, I totally missed that nixpkgs has ghc for armv7l now (and I say now, my nixpkgs is still on December 1st). On the other hand my machine has been stripping the lib and bin dirs of that for more than an hour now.
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
v0|d has joined #nixos-aarch64
misuzu has joined #nixos-aarch64
alpernebbi has quit [Quit: alpernebbi]
cole-h has joined #nixos-aarch64
rajivr has quit [Quit: Connection closed for inactivity]
dev_mohe has joined #nixos-aarch64
julm has joined #nixos-aarch64
v0|d has quit [Ping timeout: 258 seconds]
zupo has joined #nixos-aarch64
zupo_ has joined #nixos-aarch64
zupo has quit [Ping timeout: 256 seconds]
<samueldr>
news from elsewhere: first audio call with the liberated modem firmware on the pinephone!
<samueldr>
(by the author)
<ryantrinkle>
samueldr: wow, that's awesome!
<samueldr>
note: still contains qualcomm proprietary bits, it's liberated from the additional vendor layers
<samueldr>
I don't know for sure, but I wouldn't expect any of the qualcomm bits to be replaced
<samueldr>
probably well secured, and anyway known to conform to the regulations and laws
<samueldr>
welp
<samueldr>
this explains why things started failing with modules